d="allMembers"><div id="constructors" class="members"><h3>Instance Constructors</h3><ol><li class="indented0 " name="provingground.HoTT.DomSym#&lt;init&gt;" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="&lt;init&gt;(func:provingground.HoTT.AnySym):provingground.HoTT.DomSym"></a><a id="&lt;init&gt;:DomSym"></a> <span class="permalink"><a href="../provingground/HoTT$$DomSym.html#&lt;init&gt;(func:provingground.HoTT.AnySym):provingground.HoTT.DomSym" title="Permalink"><i class="mater