Top

Abstract-syntax-operations

Constrel

Fixtype of relation constraints.

This is a product type introduced by fty::defprod.

Fields

name — stringp
args — expression-list

This is isomorphic to the :relation kind of constraint, but it is convenient to have a separate fixtype here, for certain purposes.

Subtopics

Constrel-fix: Fixing function for constrel structures.
Constrel-equiv: Basic equivalence relation for constrel structures.
Make-constrel: Basic constructor macro for constrel structures.
Change-constrel: Modifying constructor for constrel structures.
Constrel->name: Get the name field from a constrel.
Constrel->args: Get the args field from a constrel.
Constrelp: Recognizer for constrel structures.