Vocabulary
inverse

Inputs
quota quotation


Outputs
None

Word description
Tests if the stack can match the given quotation. The quotation is inverted, and if the inverse can run without a unification failure, then t is returned. Else f is returned. If a different error is encountered (such as stack underflow), this will be propagated.

Definition