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

IN: logic

SYMBOL: failo inline