The following sections are extracted from .mli module interfaces of FaCiLe and sorted by alphabetic order.
A comprehensive index of these sections can be found at the end of this document.
4.1 Module Easy
Easy is a module that the user is strongly advised to open in order to
facilitate access to FaCiLe (unless names clash with other open modules).
It simply defines aliases to values and types of other modules:
-
All the infix operators from Arith, Goals and Reify
- Frequently used mapping functions of Arith: i2e and fd2e
- Type of finite domain variables from Var:
concrete_fd = Unk of Fd.attr | Val of Fd.elt
- Module Fd from Var
Note that the user of FaCiLe can extend this mechanism with its own
``Easier'' module aliasing any value or type of the library.