-&gt;</span>&nbsp;<span class="constructor">Ratio</span>.ratio<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;mult_int_ratio&nbsp;:&nbsp;int&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Ratio</span>.ratio&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Ratio</span>.ratio<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;mult_big_int_ratio&nbsp;:&nbsp;<span class="constructor">Big_int</span>.big_int&nbsp;<span class="keywordsign">-&gt;</span