lefto


Vocabulary
logic.examples.zebra

Inputs
None

Outputs
valuean object


Variable value
Current value in global namespace:
T{ logic-pred f "lefto" ~vector~ }


Definition
IN: logic.examples.zebra

SYMBOL: lefto inline