title: SML How to check variable type?
body: <p>Is there any way to check/test the type of a variable?</p>
  
  <p>I want to use it like this:</p>
  
  <pre><code>if x = int then foo
  else if x = real then bar
  else if x = string then ...
       else .....
  </code></pre>