ributes block"><dt>Definition Classes</dt><dd>AnyRef</dd></dl></div></li><li class="indented0 " name="provingground.interface.TermBson#termToBson" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="termToBson:provingground.translation.Translator.Mapped[provingground.HoTT.Term,ujson.Value,org.mongodb.scala.bson.collection.immutable.Document]"></a><a id="termToBson:Mapped[Term,Value,Document]"></a> <span class="permalink"><a href="../../provingground/interface/TermBson$.html#termToBson:p