n> <span class="keyword">of</span> bool * int</span></code></li><li id="type-op.Sum" class="def variant constructor anchored"><a href="#type-op.Sum" class="anchor"></a><code><span>| </span><span><span class="constructor">Sum</span> <span class="keyword">of</span> bool * int</span></code></li><li id="type-op.SumReduce" class="def variant constructor anchored"><a href="#type-op.SumReduce" class="anchor"></a><code><span>| </span><span><span class="constructor">SumReduce</span> <span class="keyword">of</span> <