Istari

Miscellaneous

This module contains various constants that need to be primitive, but aren’t used widely enough to make them pervasive.

Constant Usage
bogus used for placeholder terms
entailment a pseudo-relation used in the rewriter
magic the extract for trustme
orphan substituted for variables going out of scope
positive arises in determining whether mu types are well-formed
negative arises in determining whether mu types are well-formed