B  
BaseTypes [Ltree] 
Input signature for functor

C  
CandGen [InvGenMiner]  
Conv [SMTExpr]  
D  
Domain [InvGenDomain] 
Signature of the modules describing an order relation over some values.

G  
Graph [InvGenGraph] 
Signature of the modules created by the graph functor.

H  
HStringSExpr  
HashedType [Hashcons]  
I  
Inst [SolverSig] 
Sigature of a solver instance

O  
Out [InvGen] 
Signature of the module returned by the
Make invariant generation functor
when given a module with signature In .

P  
Params [SolverSig] 
Solver paramters

PostAnalysis  
R  
RelayMessage [Messaging] 
A message to be relayed to other processes and conversions

S  
S [Trie] 
Output signature is an extended map

S [SExprBase] 
Output signature of the functor
SExprBase.Make

S [Messaging]  
S [Hashcons]  
S [SolverSig]  
S [SolverDriver]  
S [Ltree] 
Output signature of functor

SExprAtom [SExprBase] 
Signature of an Sexpression atom as input for the functor
SExprBase.Make

SLog [Log]  
SMTLIBSolverDriver [SMTLIBSolver]  
Sig [TestgenStrategies] 
Signature for test generation strategies.

Sig [Log] 