Module expand 

Inline expansion of user-defined functions.

Structs

ExpansionContext

Context for inline expansion of user-defined functions.

Functions

expand_program_functions

Expand user-defined function calls in ordinary rules and constraints.

expand_program_functions_owned

expand_program_functions taking the program by value: without function definitions (the common, fact-heavy case) the program is returned as is, without a clone.