A  
algo [Alldiff]  
attr [Var.BASICFD] 
Type of attributes.

B  
bb_mode [Goals]  
C  
concrete [Var]  
D  
domain [Var.BASICFD] 
Type of domains.

domain [Var.ATTR] 
Type of domains stored in attributes.

E  
elt [Invariant.FD] 
Type of elements in the domain.

elt [Var.BASICFD] 
Type of elements of domains.

elt [Var.ATTR] 
Type of element of domains.

elt [SetDomain] 
Type of elements of set domains.

elt [Domain] 
Type of element of domains (for generic interface,
).

event [Var.BASICFD] 
Type of domain reduction events.

event [Var.ATTR] 
Type of events (modifications on variables) on which to suspend.

F  
fd [Invariant.FD] 
Type of a finite domain variable.

L  
level [Gcc]  
level [Stak] 
Type of a level in the stack.

P  
priority [Cstr] 
Type of waking priority.

R  
ref [Stak] 
Backtrackable reference of type
'a .

S  
setable [Invariant]  
setable_t [Invariant]  
T  
t [Goals] 
The type of goals.

t [Arith] 
Type of arithmetic expressions over variables of type
Var.Fd.t and
integers.

t [Invariant]  
t [Var.BASICFD] 
Type of finite domain variable.

t [Var.ATTR] 
Type of attributes.

t [Cstr] 
The type of constraints.

t [Data.Hashtbl]  
t [SetDomain.S]  
t [SetDomain] 
Type of finite domains of integer sets: a domain is a powerset lattice
of sets bounded by definite elements or glb (Greater Lower Bound) and
possible elements or lub (Lower Upper Bounds).

t [Domain] 
Type of finite domains of integers (functional: no inplace
modifications, domains can be shared).

U  
unsetable [Invariant]  
unsetable_t [Invariant] 
Type of BIRs.
