Source file `bounded_meet_semilattice.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
module Core_via_meet_and_top
    (Req : Preface_specs.Bounded_meet_semilattice.WITH_MEET_AND_TOP) =
  Req

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) =
struct
  include Meet_req
  include Req
end

module Infix (Core : Preface_specs.Bounded_meet_semilattice.CORE) = struct
  include Meet_semilattice.Infix (Core)
end

module Via
    (Core : Preface_specs.Bounded_meet_semilattice.CORE)
    (Infix : Preface_specs.Bounded_meet_semilattice.INFIX) =
struct
  include Core
  module Infix = Infix
  include Infix
end

module Via_meet_and_top
    (Req : Preface_specs.Bounded_meet_semilattice.WITH_MEET_AND_TOP) =
struct
  module Core = Core_via_meet_and_top (Req)
  include Core
  module Infix = Infix (Core)
  include Infix
end

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) =
struct
  module Core = Core_over_meet_semilattice_and_via_top (Meet_req) (Req)
  include Core
  module Infix = Infix (Core)
  include Infix
end