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
(** @canonical Lattices.Pair *)
module Pair = Lattices__Pair
(** @canonical Lattices.Partial_inversible_map *)
module Partial_inversible_map = Lattices__Partial_inversible_map
(** @canonical Lattices.Partial_inversible_map_sig *)
module Partial_inversible_map_sig = Lattices__Partial_inversible_map_sig
(** @canonical Lattices.Partial_map *)
module Partial_map = Lattices__Partial_map
(** @canonical Lattices.Pointwise *)
module Pointwise = Lattices__Pointwise
(** @canonical Lattices.Powerset *)
module Powerset = Lattices__Powerset
(** @canonical Lattices.Powerset_sig *)
module Powerset_sig = Lattices__Powerset_sig
(** @canonical Lattices.Powersetwithunder *)
module Powersetwithunder = Lattices__Powersetwithunder