Lattice.LAWS
include Join_semilattice.LAWS
type t
val join_semilattice_1 : unit -> (t, t -> t -> t) Law.t
val join_semilattice_2 : unit -> (t, t -> t) Law.t
val join_semilattice_3 : unit -> (t, t) Law.t
include Meet_semilattice.LAWS with type t := t
val meet_semilattice_1 : unit -> (t, t -> t -> t) Law.t
val meet_semilattice_2 : unit -> (t, t -> t) Law.t
val meet_semilattice_3 : unit -> (t, t) Law.t
val lattice_1 : unit -> (t, t -> t) Law.t
val lattice_2 : unit -> (t, t -> t) Law.t