Module parameters 

Symbolic parameter transformations carried by reduction rules.

Structs

ParameterTransform

One rule-level symbolic transformation. Its relation applies to every formula.

Enums

ParameterRelation

What one reduction rule promises about all of its declared parameter formulas.

ParameterTransformError

Validation, composition, or evaluation failure for a ParameterTransform.