Source file `itvUtils.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
(* generated by dune *)

(** @canonical ItvUtils.Float *)
module Float = ItvUtils__Float

(** @canonical ItvUtils.FloatItv *)
module FloatItv = ItvUtils__FloatItv

(** @canonical ItvUtils.FloatItvNan *)
module FloatItvNan = ItvUtils__FloatItvNan

(** @canonical ItvUtils.IntBound *)
module IntBound = ItvUtils__IntBound

(** @canonical ItvUtils.IntItv *)
module IntItv = ItvUtils__IntItv