Source file `bounded_join_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_join_and_bottom
    (Req : Preface_specs.Bounded_join_semilattice.WITH_JOIN_AND_BOTTOM) =
  Req

module Core_over_join_semilattice_and_via_bottom
    (Join_req : Preface_specs.Join_semilattice.CORE)
    (Req : Preface_specs.Bounded_join_semilattice.WITH_BOTTOM
             with type t = Join_req.t) =
struct
  include Join_req
  include Req
end

module Infix (Core : Preface_specs.Bounded_join_semilattice.CORE) = struct
  include Join_semilattice.Infix (Core)
end

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

module Via_join_and_bottom
    (Req : Preface_specs.Bounded_join_semilattice.WITH_JOIN_AND_BOTTOM) =
struct
  module Core = Core_via_join_and_bottom (Req)
  include Core
  module Infix = Infix (Core)
  include Infix
end

module Over_join_semilattice_and_via_bottom
    (Join_req : Preface_specs.Join_semilattice.CORE)
    (Req : Preface_specs.Bounded_join_semilattice.WITH_BOTTOM
             with type t = Join_req.t) =
struct
  module Core = Core_over_join_semilattice_and_via_bottom (Join_req) (Req)
  include Core
  module Infix = Infix (Core)
  include Infix
end