F2


Vocabulary
logic.examples.factorial

Inputs
None

Outputs
valuean object


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


Definition
IN: logic.examples.factorial

SYMBOL: F2 inline