(* 
# if 2 < 1 then 3 else 4 ;; 
- : int = 4 
# if "true" then 3.14 else 2.72 ;; 
     ^^^^^^ 
This expression has type string but is here used with type bool 
# if "a" = "b" then false else true ;; 
- : bool = true 
# if true < false then 1 else "2" ;; 
                              ^^^ 
This expression has type string but is here used with type int 
# if not (3 = 4) then 1 < 2 else 1 > 2 ;; 
- : bool = true 
# 
*)