(* Example 1.3: *)
(* Carsten Schuermann *) 

let 
   val x = if true > false then 15 else 3
   val z = if (let val y = 5 < z in true orelse y end) then z * x else 17
in 
  z
end