ages"><blockquote class="alectryon-message">‚Ñï : <span class="kt">Type</span></blockquote></div></div></small></span></pre><pre class="alectryon-io highlight"><!-- Generator: Alectryon --><span class="alectryon-sentence"><input checked="checked" class="alectryon-toggle" id="literate-lean3-lean-chk2" style="display: none" type="checkbox"><label class="alectryon-input" for="literate-lean3-lean-chk2"><span class="k">#check</span> bool</label><small class="alectryon-output"><div><div class="alectryon-messa