Machine-readable version of this page: /type/True.md.
See predefined identifiers.
true#3fedd339 = True;
Formal declaration of TL combinators and constructors.