See predefined identifiers.
true#3fedd339 = True;
Formal declaration of TL combinators and constructors.