Handbook
Glossary
⊤
Vocabulary
boolean-expr
Class description
Logical tautology. This statement is unconditionally true.
Definition
IN:
boolean-expr
SINGLETON:
⊤