Bounded_meet_semilattice (preface.Preface_laws.Bounded_meet

module type LAWS = sig ... end

module For
  (L : Preface_specs.BOUNDED_MEET_SEMILATTICE) : 
  LAWS with type t := L.t