failo


Vocabulary
logic

Variable description
A built-in logic predicate. { failo } is a goal that is always f.

Syntax
{ failo }


See also
trueo

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


Definition