fork download
  1. type 'a tree =
  2. | Leaf of 'a
  3. | Branch of ('a * 'a) tree;;
  4.  
  5. let z : int tree = Leaf(5);;
  6. let zz : int tree = Leaf(6);;
  7. let zzz = Branch(z,zz);;
Compilation error #stdin compilation error #stdout 0s 0KB
stdin
Standard input is empty
compilation info
File "prog.ml", line 7, characters 16-22:
This expression has type int tree * int tree but is here used with type
  ('a * 'a) tree
stdout
Standard output is empty