# Test logical operators
let
  x = true;
  y = false;
in
  if x && y then 1 else if x || y then 2 else 3