title: Question About OCaml Function Signatures in UTop
body: <p>I am trying to import the following OCaml code in to  utop:</p>
  <pre><code>let rec insert (x : 'a) (l : 'a list) : 'a list =   
      match l with 
      | [] -&gt; [ x ] 
      | hd :: tl -&gt;
              if x = hd then l
              else if is_sorted (x :: l) then x :: l
              else hd :: insert x tl
  </code></pre>
  <p>When I import it though its signature is</p>
  <pre><code>val insert : int -&gt; int list -&gt; int list = &lt;fun&gt;
  </code></pre>
  <p>I am confused why its signature is in terms of int rather than 'a.
  Could someone explain to me why this is?</p>