Relation VALUE-CLASS

• Defined in theory: Slot-constraint-sugar
• Source code: slot-constraint-sugar.lisp

Slots on this relation:

Instance-Of: Relation

Alias: Value-type

Arity: 3