title: How can I divide two numbers in ML defined as a datatype?
body: <p>I'm trying to write a recursive function in SML that receives two natural numbers n1,n2 and returns the result of n1 div n2</p>
  
  <p>The datatype natural is defined as follows: </p>
  
  <pre><code>datatype natural = zero | Succ of natural
  </code></pre>
  
  <p>I want to write it in terms of the new datatype , or in other words, not by converting them to their regular form and converting back the result.</p>
  
  <p>Any ideas how division is done in this definition?</p>