trueo

Vocabulary

logic

Variable description

A logic predicate. { trueo } is a goal that is always t.

Syntax

{ trueo }

See also

failo

Variable value

Current value in global namespace:

T{ logic-pred f "trueo" ~vector~ }

Definition

IN: logic

SYMBOL: trueo inline