ges"><blockquote class="alectryon-message">bool : <span class="kt">Type</span></blockquote></div></div></small><span class="alectryon-wsp">
</span></span><span class="alectryon-sentence"><input checked="checked" class="alectryon-toggle" id="literate-lean3-lean-chk3" style="display: none" type="checkbox"><label class="alectryon-input" for="literate-lean3-lean-chk3"><span class="k">#eval</span> <span class="mi">1</span> <span class="bp">+</span> <span class="mi">1</span></label><small class="alectryon-output"