(* it gives back None if the uri refers to a Variable or MutualInductiveType *)
val bodyuri_of_uri : uri -> uri option
(* it gives back None if the uri refers to a Variable or MutualInductiveType *)
val bodyuri_of_uri : uri -> uri option
(* given an uri, it gives back the uri of its inner types *)
val innertypesuri_of_uri : uri -> uri
(* given an uri, it gives back the uri of its univgraph *)
(* given an uri, it gives back the uri of its inner types *)
val innertypesuri_of_uri : uri -> uri
(* given an uri, it gives back the uri of its univgraph *)