preface.laws
Lattice.For
preface
preface.core
preface.make
preface.qcheck
preface.specs
preface.stdlib
module L : Preface_specs.LATTICE
include Join_semilattice.LAWS with type t := L.t
val join_semilattice_1 : unit -> (L.t, L.t -> L.t -> L.t) Law.t
val join_semilattice_2 : unit -> (L.t, L.t -> L.t) Law.t
val join_semilattice_3 : unit -> (L.t, L.t) Law.t
include Meet_semilattice.LAWS with type t := L.t
val meet_semilattice_1 : unit -> (L.t, L.t -> L.t -> L.t) Law.t
val meet_semilattice_2 : unit -> (L.t, L.t -> L.t) Law.t
val meet_semilattice_3 : unit -> (L.t, L.t) Law.t
val lattice_1 : unit -> (L.t, L.t -> L.t) Law.t
val lattice_2 : unit -> (L.t, L.t -> L.t) Law.t