Type of attributes.
Type of domains.
Type of domains stored in attributes.
Type of elements in the domain.
Type of elements of domains.
Type of element of domains.
Type of elements of set domains.
Type of element of domains (for generic interface, ).
Type of domain reduction events.
Type of events (modifications on variables) on which to suspend.
Type of a finite domain variable.
Type of a level in the stack.
Type of waking priority.
Backtrackable reference of type 'a.
'a
The type of goals.
Type of arithmetic expressions over variables of type Var.Fd.t and integers.
Var.Fd.t
Type of finite domain variable.
The type of constraints.
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).
Type of finite domains of integers (functional: no in-place modifications, domains can be shared).
Type of BIRs.