provingground.induction.ConstructorSeqTL[_,provingground.HoTT.Term,_]],indexedInds:provingground.HoTT.Term=&gt;Option[provingground.induction.IndexedConstructorSeqDom[_,provingground.HoTT.Term,_,_,_]]):org.mongodb.scala.bson.collection.immutable.Document=&gt;Option[provingground.HoTT.Term]"></a><a id="bsonToTerm((Typ[Term])=&gt;Option[ConstructorSeqTL[_,Term,_]],(Term)=&gt;Option[IndexedConstructorSeqDom[_,Term,_,_,_]]):(Document)=&gt;Option[Term]"></a> <span class="permalink"><a href="../../provingground/i