preface.laws
Invariant.For
preface
preface.core
preface.make
preface.qcheck
preface.specs
preface.stdlib
module I : Preface_specs.INVARIANT
val invariant_1 : unit -> ('a I.t, 'a I.t) Law.t
val invariant_2 : unit -> ('a -> 'b, ('b -> 'a) -> ('c -> 'a) -> ('a -> 'c) -> 'c I.t -> 'b I.t) Law.t