|
|
|---|
|
|
|
|---|
Fixtype of constraints.
This is a tagged union type, introduced by fty::deftagsum.
A constraint is either an equality of expressions, or the application of a named relation to argument expressions. We use (any) strings for relation names.
In the future, this may be extended with propositional connectives to combine equalities and applications of named relations.