owner:string ->
uri:UriManager.uri -> body:Cic.term option -> ty:Cic.term ->
unit
(** index a Cic.InductiveDefinition object and insert resulting metadata into
* the db
owner:string ->
uri:UriManager.uri -> body:Cic.term option -> ty:Cic.term ->
unit
(** index a Cic.InductiveDefinition object and insert resulting metadata into
* the db