matches? ( quot -- quot' )
Invertible quotations

Prev:undo ( quot -- quot )
Next:switch ( quot-alist -- quot )


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