package preface

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file arrow_zero.ml

1
2
3
4
5
6
7
module type LAWS = sig
  type ('a, 'b) t
end

module For (A : Preface_specs.ARROW_ZERO) :
  LAWS with type ('a, 'b) t := ('a, 'b) A.t =
  Arrow.For (A)
OCaml

Innovation. Community. Security.