Meet_semilattice.LAWS
type 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