File "foo.ml", line 1, characters 14-18: 1 | let x : int = true ^^^^ Error: This expression has type "bool" but an expression was expected of type "int"