For (preface.Preface_laws.Lattice.For)

Parameters

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