ubst$$Lambda.html" name="provingground.Subst.Lambda" id="provingground.Subst.Lambda" class="extype">Lambda</a>[<a href="../HoTT$$Term.html" name="provingground.HoTT.Term" id="provingground.HoTT.Term" class="extype">Term</a>, <a href="../induction/IndexedConstructorSeqDom.html" name="provingground.induction.IndexedConstructorSeqDom" id="provingground.induction.IndexedConstructorSeqDom" class="extype">IndexedConstructorSeqDom</a>[<span name="shapeless.::" class="extype">::</span>[<span name="shapeless.HNil" c