Up
–
Package index
»
doc
» Library
alt-ergo-lib
»
AltErgoLib
» Ac
Module
AltErgoLib.Ac
Source
doc
Library
alt-ergo-lib
AltErgoLib
Ac
S
Make
Adt
Adt_rel
Arith
Arrays
Arrays_rel
Bitv
Bitv_rel
Ccx
Cnf
Commands
Config
Emap
Enum
Enum_rel
Errors
Explanation
Expr
Fpa_rounding
Frontend
Fun_sat
Gc_debug
Hconsing
Hstring
Iheap
Inequalities
Input
Instances
IntervalCalculus
Intervals
Ite
Ite_rel
Lists
Loc
Matching
Matching_types
MyDynlink
MyUnix
Numbers
NumbersInterface
NumsNumbers
Options
Parsed
Parsed_interface
Polynome
Profiling
Records
Records_rel
Relation
Sat_solver
Sat_solver_sig
Satml
Satml_frontend
Satml_frontend_hybrid
Satml_types
Shostak
Sig
Sig_rel
Symbols
Th_util
Theory
Timers
Ty
Typechecker
Typed
Uf
Use
Util
Var
Vec
Version
Xliteral
ZarithNumbers
Sources
Source
module
type
S
=
sig
...
end
Source
module
Make
(
X
:
Sig.X
) :
S
with
type
r
=
X.r