bind.ml
preface
preface.core
preface.laws
preface.make
preface.qcheck
preface.specs
preface.stdlib
1 2 3 4 5 6 7 8 9 module type LAWS = sig type 'a t include Indexed_bind.LAWS with type ('a, _) t := 'a t end module For (B : Preface_specs.BIND) : LAWS with type 'a t := 'a B.t = struct include Indexed_bind.For (Preface_make.Bind.Index (B)) end
1 2 3 4 5 6 7 8 9
module type LAWS = sig type 'a t include Indexed_bind.LAWS with type ('a, _) t := 'a t end module For (B : Preface_specs.BIND) : LAWS with type 'a t := 'a B.t = struct include Indexed_bind.For (Preface_make.Bind.Index (B)) end