true;;
false;;
(true);;
2 ;;
4;;
-4;;
max_int;;
3.14;;
1 + 2;;
1.5 + 1;;
1.5 + 1.1;;
1.5 +. 1.1;;
();;
3 = 4;;
compare 'a' 'c';;
true && false;;
"qwe" ^ "qwe";;
("qwe" ^ "qwe").[4];;
(4,5);;
(4,5,7,8);;
type myab = A | B | C;;
A;;
type mynat = Zero | Suc of mynat;;
Zero;;
Suc (Zero);;
Suc (Suc (Zero));;
Suc (Suc (Suc (Zero)));;
let three = Suc (Suc (Suc (Zero)));;
let rec count n = match n with Zero -> 0 | Suc m -> 1 + count m;;
count three;
;;
let f x = f (f + 1);;
let rec f x = f (f + 1);;
let rec f x = f (x + 1);;
let f a b c = (a, c, b);;
f 3 4;;