"p">(</span><span class="n">in</span><span class="p">)</span><span class="w"> </span><span class="kd">::</span><span class="w"> </span><span class="n">logical_val1</span><span class="p">,</span><span class="w"> </span><span class="n">logical_val2</span>

<span class="w">   </span><span class="n">boolean_equal</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">logical_val1</span><span class="w"> </span><span class="p">.</span><span class="n">eqv</span><span class="p