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

ifte
^^^^^^

Basis Function Combinator


If-Then-Else Combinator
::

                ... [if] [then] [else] ifte
     ---------------------------------------------------
        ... [[else] [then]] [...] [if] infra select i




              ... [if] [then] [else] ifte
     -------------------------------------------------------
        ... [else] [then] [...] [if] infra first choice i


Has the effect of grabbing a copy of the stack on which to run the
if-part using infra.


Gentzen diagram.


Definition
~~~~~~~~~~

if not basis.


Derivation
~~~~~~~~~~

if not basis.


Source
~~~~~~~~~~

if basis


Discussion
~~~~~~~~~~

Lorem ipsum.


Crosslinks
~~~~~~~~~~

Lorem ipsum.


