nterface/TermBson$.html#bsonToTerm(inds:provingground.HoTT.Typ[provingground.HoTT.Term]=&gt;Option[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]" title="Permalink"><i class="material-icons"></i></a></span> <span class="modifier_kind"><span class="modifier"></span>