title: how to write function in VDM++ language
body: <p>I am making a translator of VDM++. which converts VDM++ code in C++. For that i am doing mapping of VDM++ into C++.</p>
  
  <p>I want to know how to write a function in VDM++?</p>
  
  <p>for example.</p>
  
  <pre><code>float functionX(int var1,float var2){
  int x= 10;
  float y= 0.3;
  return y;
  }
  </code></pre>
  
  <p>how i write this code in VDM++?</p>