T
Symbol whose value is T: the "true" value of tests. Predicates that hold return it.
(= 1 1) ; T
Download LinceCAD Manual contents