Source file `apronext__.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
38
39
40
41
42
43
(* generated by dune *)

(** @canonical Apronext.Abox *)
module Abox = Apronext__Abox

(** @canonical Apronext.Abstractext *)
module Abstractext = Apronext__Abstractext

(** @canonical Apronext.Aoct *)
module Aoct = Apronext__Aoct

(** @canonical Apronext.Apol *)
module Apol = Apronext__Apol

(** @canonical Apronext.Array_maker *)
module Array_maker = Apronext__Array_maker

(** @canonical Apronext.Coeffext *)
module Coeffext = Apronext__Coeffext

(** @canonical Apronext.Domain *)
module Domain = Apronext__Domain

(** @canonical Apronext.Environmentext *)
module Environmentext = Apronext__Environmentext

(** @canonical Apronext.Generatorext *)
module Generatorext = Apronext__Generatorext

(** @canonical Apronext.Intervalext *)
module Intervalext = Apronext__Intervalext

(** @canonical Apronext.Linconsext *)
module Linconsext = Apronext__Linconsext

(** @canonical Apronext.Scalarext *)
module Scalarext = Apronext__Scalarext

(** @canonical Apronext.Tconsext *)
module Tconsext = Apronext__Tconsext

(** @canonical Apronext.Texprext *)
module Texprext = Apronext__Texprext