must-be-true ( ? -- )


Vocabulary
backtrack

Inputs and outputs
?an object


Definition