def>goal ( goal-def -- goal )

Vocabulary

logic.private

Inputs

goal-def

an object

Outputs

goal

an object

Definition

USING: kernel sequences ;

IN: logic.private

: def>goal ( goal-def -- goal ) unclip swap <goal> ;