(* Example 1.4: *)
(* Carsten Schuermann *) 

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