if..then..else

If statements are in the usual imperative style, meaning that else clauses are optional. They are of the form:

if condition1 then
	block1
else if condition 2 then
	block 2
else
	block 3
end

The blocks are sequences of statements and declarations. Every if statement is followed by zero or more else if's and one or zero else's.



Adam Chlipala 2005-02-22