package libabsolute

  1. Overview
  2. Docs

Source file libabsolute__.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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
(* generated by dune *)

(** @canonical Libabsolute.Apron_domain *)
module Apron_domain = Libabsolute__Apron_domain

(** @canonical Libabsolute.Boolean *)
module Boolean = Libabsolute__Boolean

(** @canonical Libabsolute.Bound_float *)
module Bound_float = Libabsolute__Bound_float

(** @canonical Libabsolute.Bound_mpqf *)
module Bound_mpqf = Libabsolute__Bound_mpqf

(** @canonical Libabsolute.Bound_sig *)
module Bound_sig = Libabsolute__Bound_sig

(** @canonical Libabsolute.Cartesian *)
module Cartesian = Libabsolute__Cartesian

(** @canonical Libabsolute.Checker *)
module Checker = Libabsolute__Checker

(** @canonical Libabsolute.Consistency *)
module Consistency = Libabsolute__Consistency

(** @canonical Libabsolute.Constant *)
module Constant = Libabsolute__Constant

(** @canonical Libabsolute.Constraint *)
module Constraint = Libabsolute__Constraint

(** @canonical Libabsolute.Csp *)
module Csp = Libabsolute__Csp

(** @canonical Libabsolute.Csp_helper *)
module Csp_helper = Libabsolute__Csp_helper

(** @canonical Libabsolute.Dom *)
module Dom = Libabsolute__Dom

(** @canonical Libabsolute.Domains *)
module Domains = Libabsolute__Domains

(** @canonical Libabsolute.Expr *)
module Expr = Libabsolute__Expr

(** @canonical Libabsolute.F *)
module F = Libabsolute__F

(** @canonical Libabsolute.File_parser *)
module File_parser = Libabsolute__File_parser

(** @canonical Libabsolute.Filter *)
module Filter = Libabsolute__Filter

(** @canonical Libabsolute.I *)
module I = Libabsolute__I

(** @canonical Libabsolute.Instance *)
module Instance = Libabsolute__Instance

(** @canonical Libabsolute.Iterator *)
module Iterator = Libabsolute__Iterator

(** @canonical Libabsolute.Itv *)
module Itv = Libabsolute__Itv

(** @canonical Libabsolute.Itv_int *)
module Itv_int = Libabsolute__Itv_int

(** @canonical Libabsolute.Itv_mix *)
module Itv_mix = Libabsolute__Itv_mix

(** @canonical Libabsolute.Itv_sig *)
module Itv_sig = Libabsolute__Itv_sig

(** @canonical Libabsolute.Kleene *)
module Kleene = Libabsolute__Kleene

(** @canonical Libabsolute.Lexer *)
module Lexer = Libabsolute__Lexer

(** @canonical Libabsolute.Minimizer *)
module Minimizer = Libabsolute__Minimizer

(** @canonical Libabsolute.ModCsp *)
module ModCsp = Libabsolute__ModCsp

(** @canonical Libabsolute.ModLexer *)
module ModLexer = Libabsolute__ModLexer

(** @canonical Libabsolute.ModParser *)
module ModParser = Libabsolute__ModParser

(** @canonical Libabsolute.Newitv *)
module Newitv = Libabsolute__Newitv

(** @canonical Libabsolute.Parser *)
module Parser = Libabsolute__Parser

(** @canonical Libabsolute.Polynom *)
module Polynom = Libabsolute__Polynom

(** @canonical Libabsolute.Product *)
module Product = Libabsolute__Product

(** @canonical Libabsolute.Q *)
module Q = Libabsolute__Q

(** @canonical Libabsolute.Relational *)
module Relational = Libabsolute__Relational

(** @canonical Libabsolute.Result *)
module Result = Libabsolute__Result

(** @canonical Libabsolute.Rewrite *)
module Rewrite = Libabsolute__Rewrite

(** @canonical Libabsolute.Ring *)
module Ring = Libabsolute__Ring

(** @canonical Libabsolute.Signature *)
module Signature = Libabsolute__Signature

(** @canonical Libabsolute.Solver *)
module Solver = Libabsolute__Solver

(** @canonical Libabsolute.Syntax *)
module Syntax = Libabsolute__Syntax

(** @canonical Libabsolute.Tools *)
module Tools = Libabsolute__Tools

(** @canonical Libabsolute.Trigo *)
module Trigo = Libabsolute__Trigo

(** @canonical Libabsolute.Uniontree *)
module Uniontree = Libabsolute__Uniontree