Bounded_meet_semilattice (preface.Preface_make.Bounded_meet

Using the minimal definition

Using meet and top

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.t

Over Meet_semilattice

Produces 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.t

Manual construction

Advanced 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.)

Grouping of all components

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.t

Building Core

module Core_via_meet_and_top
  (Req : Preface_specs.Bounded_meet_semilattice.WITH_MEET_AND_TOP) : 
  Preface_specs.Bounded_meet_semilattice.CORE with type t = Req.t

module 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.t

Deriving Infix

module Infix
  (Core : Preface_specs.Bounded_meet_semilattice.CORE) : 
  Preface_specs.Bounded_meet_semilattice.INFIX with type t = Core.t