alt.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_alt.LAWS with type ('a, _) t := 'a t end module For (A : Preface_specs.ALT) : LAWS with type 'a t := 'a A.t = struct include Indexed_alt.For (Preface_make.Alt.Index (A)) end
1 2 3 4 5 6 7 8 9
module type LAWS = sig type 'a t include Indexed_alt.LAWS with type ('a, _) t := 'a t end module For (A : Preface_specs.ALT) : LAWS with type 'a t := 'a A.t = struct include Indexed_alt.For (Preface_make.Alt.Index (A)) end