Source file framac_ival.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
(* generated by dune *)

(** @canonical Framac_ival.Abstract_interp *)
module Abstract_interp = Framac_ival__Abstract_interp

(** @canonical Framac_ival.Bottom *)
module Bottom = Framac_ival__Bottom

(** @canonical Framac_ival.Fc_float *)
module Fc_float = Framac_ival__Fc_float

(** @canonical Framac_ival.Float_interval *)
module Float_interval = Framac_ival__Float_interval

(** @canonical Framac_ival.Float_interval_sig *)
module Float_interval_sig = Framac_ival__Float_interval_sig

(** @canonical Framac_ival.Float_sig *)
module Float_sig = Framac_ival__Float_sig

(** @canonical Framac_ival.Floating_point *)
module Floating_point = Framac_ival__Floating_point

(** @canonical Framac_ival.Fval *)
module Fval = Framac_ival__Fval

(** @canonical Framac_ival.Integer *)
module Integer = Framac_ival__Integer

(** @canonical Framac_ival.Ival *)
module Ival = Framac_ival__Ival

(** @canonical Framac_ival.Ival_noinf *)
module Ival_noinf = Framac_ival__Ival_noinf

(** @canonical Framac_ival.Pretty_utils *)
module Pretty_utils = Framac_ival__Pretty_utils