⊥ - Factor Documentation (original) (raw)

⊥

Vocabulary
boolean-expr

Class description
Logical contradiction. This statement is unconditionally false.

Definition

IN: boolean-expr

SINGLETON: ⊥