It is, but it is worth noting that when OCaml or Haskell programmers talk about type inference they are usually referring to <i>global</i> type inference which allows an argument&#x27;s type to be inferred from its uses. For example:<p><pre><code>  let f x = x + x
</code></pre>
will be inferred as int -&gt; int.