id="docs-nav-button" class="switcher h100 " href="../../docs/index.html">Docs</a><a id="api-nav-button" class="switcher h100 selected" href="../../index.html">API</a></div><nav id="api-nav" class="side-menu"><div class="ni n0 expanded"><span class="nh h100 expanded cs"><button class="ar icon-button expanded"></button><a href="../../tinyscalautils.html"><span class="micon pa"></span><span>tinyscalautils</span></a></span><div class="ni n1 "><span class="nh "><a href="../assertions.html"><span class="micon pa"