Bounded_join_semilattice (preface.Preface_laws.Bounded_join

module type LAWS = sig ... end

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