Class FUNCTION-CONSTANT

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

Slots on this class:

Documentation:

A function constant is a symbol that denotes a KIF function.

Alias: Funconst