resolve ( goal-def/defs quot: ( env -- ) -- )

Vocabulary

logic.private

Inputs

goal-def/defs	an object
quot	a quotation with stack effect ( env -- )

Outputs

None

Definition

IN: logic.private

: resolve ( goal-def/defs quot: ( env -- ) -- ) (resolve) ;