OCaml explicit type signatures
OCaml has two ways of specifying types, they can be done inline: let intEq (x : int) (y : int) : bool = … or they can be placed in an interface file, as you have done: val intEq : int -> int -> bool I believe the latter is preferred, since it more cleanly … Read more