Source file colibrilib__.ml

(* 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