This module specifies a set of more specialized term and goal expansions

as they are read from a file before they are processed by the compiler.

The toplevel is expand_clause/2. This uses other translators:

• Conditional compilation
• clause_expansion/2 rules provided by the user

Note that this ordering implies that conditional compilation directives cannot be generated by clause_expansion/2 rules: they must literally appear in the source-code.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 save_pred_to(Arg1, Arg2)