with-infer ( quot -- effect visitor )


Vocabulary
stack-checker.backend

Inputs
quota quotation


Outputs
effectan effect
visitora visitor, if any


Word description
Initializes the inference engine and then runs the given quotation which is supposed to perform the inferencing.

Definition