arrow_zero.ml
preface
preface.core
preface.laws
preface.make
preface.qcheck
preface.specs
preface.stdlib
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)
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)