 as the type of the
    left-hand side.

    <h4>Conditionals</h4>

    Conditional statements specify the conditional execution of
    guarded statements.  The Boolean expression preceding a statement
    is called its <em>guard</em>.  The guards are evaluated in
    sequence of occurrence, until one evaluates to true, whence its
    associated statement sequence is executed.  If no guard is
    satisfied, the statement sequence following the symbol "ELSE" is
    executed, if there is one.

    <h4>Iterati