Meet_semilattice.For
module L : Preface_specs.MEET_SEMILATTICE
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