Bounded_lattice.LAWS
include Bounded_join_semilattice.LAWS
type t
val bounded_join_semilattice_1 : unit -> (t, t) Law.t
include Bounded_meet_semilattice.LAWS with type t := t
val bounded_meet_semilattice_1 : unit -> (t, t) Law.t
val bounded_lattice_1 : unit -> (t, t -> t) Law.t
val bounded_lattice_2 : unit -> (t, t -> t) Law.t