--------------

truthy
^^^^^^^^

Basis Function Combinator

bool(x) -> bool

Returns True when the argument x is true, False otherwise.
The builtins True and False are the only two instances of the class bool.
The class bool is a subclass of the class int, and cannot be subclassed.

Gentzen diagram.


Definition
~~~~~~~~~~

if not basis.


Derivation
~~~~~~~~~~

if not basis.


Source
~~~~~~~~~~

if basis


Discussion
~~~~~~~~~~

Lorem ipsum.


Crosslinks
~~~~~~~~~~

Lorem ipsum.


