|
|
|---|
|
|
|
|---|
Fixtype of definitions of relations.
This is a product type introduced by fty::defprod.
A relation definition consists of the name of the relation (any string), a list of formal parameters (any strings), and a body consisting of a list of constraints. The constraints are taken conjunctively; but see the discussion in constraint about possible extensions to allow explicit propositional connectives (in which case the body of a definition would presumably be just a single constraint, which may be a conjunction).