Class TRUTH-VALUE-CONSTANT

• Defined in theory: Parametric-constraints
• Source code: parametric-constraints.lisp

Slots on this class:

Documentation:

A truth-value constant is a symbol that denotes a logical value of true or false. It is not a predicate!

All-Instances: {'True, 'False}