Source file `colibrilib__.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
(* generated by dune *)

(** @canonical Colibrilib.Interval__Bound *)
module Interval__Bound = Colibrilib__Interval__Bound

(** @canonical Colibrilib.Interval__Convexe *)
module Interval__Convexe = Colibrilib__Interval__Convexe

(** @canonical Colibrilib.Modulo__Divisible *)
module Modulo__Divisible = Colibrilib__Modulo__Divisible

(** @canonical Colibrilib.Ord *)
module Ord = Colibrilib__Ord

(** @canonical Colibrilib.Q__Q *)
module Q__Q = Colibrilib__Q__Q

(** @canonical Colibrilib.Q_extra *)
module Q_extra = Colibrilib__Q_extra

(** @canonical Colibrilib.Union__Union *)
module Union__Union = Colibrilib__Union__Union