sp;&nbsp;<span class="keyword">val</span>&nbsp;simplify_rounds&nbsp;:&nbsp;int&nbsp;option&nbsp;<span class="constructor">Stdlib</span>.ref<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;default_simplify_rounds&nbsp;:&nbsp;int&nbsp;<span class="constructor">Stdlib</span>.ref<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;rounds&nbsp;:&nbsp;unit&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;default_inline_max_unroll&nbsp;:&nbsp;int<br