sp;float&nbsp;option;<br>
&nbsp;&nbsp;&nbsp;&nbsp;inline_toplevel_threshold&nbsp;:&nbsp;int&nbsp;option;<br>
&nbsp;&nbsp;}<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;classic_arguments&nbsp;:&nbsp;<span class="constructor">Clflags</span>.inlining_arguments<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;o1_arguments&nbsp;:&nbsp;<span class="constructor">Clflags</span>.inlining_arguments<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;o2_arguments&nbsp;:&nbsp;<span class="constructor">C