Partial Definitions



next up previous
Next: Unrestricted Partial Definitions Up: Definitions Previous: Complete Definitions

Partial Definitions

A constant can have multiple partial definitions, each of which restricts the possible denotations of the constant. All the definitions of a constant must declare the constant to be the same category; i.e., they must all use the same operator - defobject, deffunction, or defrelation. The defining axioms specified by partial definitions can be either unrestricted or optionally required to be conservative extensions to the language.





Vishal I. Sikka
Wed Dec 7 13:23:42 PST 1994