write-move

Vocabulary

logic.examples.hanoi2

Inputs

None

Outputs

value

an object

Variable value

Current value in global namespace:

T{ logic-pred f "write-move" ~vector~ }

Definition

IN: logic.examples.hanoi2

SYMBOL: write-move inline