ition; ideally used implicitly.">ConstructorPatternMapper</a></li><li class="current-entities indented2"><a href="ConstructorSeqDom$.html" title="" class="object"></a> <a href="ConstructorSeqDom.html" title="the shape of the definition of an inductive type; when a type is specified we get an object of type ConstructorSeqTL, which is the full definition" class="trait"></a><a href="ConstructorSeqDom.html" title="the shape of the definition of an inductive type; when a type is specified we get an object of typ