Top

Constraint

Constraint-equal

This is a product type, introduced by fty::deftagsum in support of constraint.

Fields

left — expression
right — expression

Subtopics

Make-constraint-equal: Basic constructor macro for constraint-equal structures.
Constraint-equal->right: Get the right field from a constraint-equal.
Constraint-equal->left: Get the left field from a constraint-equal.
Change-constraint-equal: Modifying constructor for constraint-equal structures.