FULA Control Structures
if ... then ... [else ...] endif
case <e1>, ..., <en> of <p1>,..., <pn> => <e> ... endcase
let <p1> = <e1>, ... , <pn> = <en> in <e>
let < p1> <= <e1>, ... in <e> ? if <e1> = top then top else if <e1> = bot then bot else let < p1> = drop(<e1>) in <e> endif endif