title: What is the meaning of g0ofg1?
body: <p>I often see code like the following line in ATS:</p>
  
  <pre><code>val xs = g0ofg1(xs)
  </code></pre>
  
  <p>The function g0ofg1 looks like some kind of casting. What does it actually do?</p>