Handbook
Glossary
M
Vocabulary
logic
.
examples
.
hanoi
Inputs
None
Outputs
value
an
object
Variable value
Current value in global namespace:
NORMAL-LOGIC-VAR
Definition
IN:
logic.examples.hanoi
SYMBOL:
M
inline