></span> <a href="ConstructorDefn.html" title="a constructor given by its parameters." class="class"></a><a href="ConstructorDefn.html" title="a constructor given by its parameters.">ConstructorDefn</a></li><li class="current-entities indented3"><a href="ConstructorPattern$.html" title="" class="object"></a> <a href="ConstructorPattern.html" title="A composite pattern for inductive types." class="trait"></a><a href="ConstructorPattern.html" title="A composite pattern for inductive types.">ConstructorPattern