OCaml has type inference: the system can often infer what the type of
an expression must be, based on the type of other known expressions.
OCaml has type inference: the system can often infer what the type of
an expression must be, based on the type of other known expressions.