title: What does (int -> int) mean?
body: <p>I'm trying to decipher the meaning of the type choice part of this. From what I can gather, it's multiplying an <code>int</code>, by <code>(int -&gt; int)</code>, by another <code>int</code>. I'm just confused as to what <code>(int -&gt; int)</code> means. Any help would be much appreciated.</p>
  
  <pre><code>val callcc = SMLofNJ.Cont.callcc
  val throw  = SMLofNJ.Cont.throw
  type 'a cont = 'a SMLofNJ.Cont.cont
  
  type choice = int cont * (int -&gt; int) * int
  </code></pre>