Bounded_meet_semilattice.For
module L : Preface_specs.BOUNDED_MEET_SEMILATTICE
val bounded_meet_semilattice_1 : unit -> (L.t, L.t) Law.t