Building a Preface_specs.Bounded_meet_semilattice
Build a Preface_specs.BOUNDED_MEET_SEMILATTICE using Preface_specs.BOUNDED_MEET_SEMILATTICE.WITH_MEET_AND_TOP.
module Via_meet_and_top
(Req : Preface_specs.Bounded_meet_semilattice.WITH_MEET_AND_TOP) :
Preface_specs.BOUNDED_MEET_SEMILATTICE with type t = Req.tProduces a Preface_specs.BOUNDED_MEET_SEMILATTICE from a Preface_specs.MEET_SEMILATTICE.
module Over_meet_semilattice_and_via_top
(Meet_req : Preface_specs.Meet_semilattice.CORE)
(Req :
Preface_specs.Bounded_meet_semilattice.WITH_TOP with type t = Meet_req.t) :
Preface_specs.BOUNDED_MEET_SEMILATTICE with type t = Req.tAdvanced way to build a Preface_specs.BOUNDED_MEET_SEMILATTICE, constructing and assembling a component-by-component of Preface_specs.BOUNDED_MEET_SEMILATTICE. (In order to provide your own implementation for some features.)
module Via
(Core : Preface_specs.Bounded_meet_semilattice.CORE)
(Infix : Preface_specs.Bounded_meet_semilattice.INFIX with type t = Core.t) :
Preface_specs.BOUNDED_MEET_SEMILATTICE with type t = Infix.tmodule Core_over_meet_semilattice_and_via_top
(Meet_req : Preface_specs.Meet_semilattice.CORE)
(Req :
Preface_specs.Bounded_meet_semilattice.WITH_TOP with type t = Meet_req.t) :
Preface_specs.Bounded_meet_semilattice.CORE with type t = Req.tmodule Infix
(Core : Preface_specs.Bounded_meet_semilattice.CORE) :
Preface_specs.Bounded_meet_semilattice.INFIX with type t = Core.t