Y


Vocabulary
logic.examples.hanoi2

Inputs
None

Outputs
valuean object


Variable value
Current value in global namespace:
NORMAL-LOGIC-VAR


Definition
IN: logic.examples.hanoi2

SYMBOL: Y inline