L1


Vocabulary
logic.private

Inputs
None

Outputs
valuean object


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


Definition
IN: logic.private

SYMBOL: L1 inline