Index of module types

A
ATTR [Facile.Var]
ATTR [Fcl_var]

Signature of the Attribute of a Domain Variable.

B
BASICFD [Facile.Var]
BASICFD [Fcl_var]

Common variables module signature.

F
FD [Facile.Invariant]
FD [Facile.Var]
FD [Fcl_invariant]

Generic signature.

FD [Fcl_var]

Extended signature for finite domain variable (with added functions irrelevant to set variables).