ype-typ">typ</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div><div class="spec-doc"><p><code>is_event_type t</code> (resp. <code>is_bool_type t</code>) should return <code>true</code> iff type <code>t</code> is the <em>event</em> (resp. <em>boolean</em>) type. Returns <code>false</code> if the guest language has no such type.</p></div></div><h4 id="printing"><a href="#printing" class="anchor"></a>Printing</h4><div class="odoc-spec"><div class="spec value anchored" id="val-pp_typ"><a h