val uri_is_annuri : uri -> bool
val uri_is_var : uri -> bool
val uri_is_con : uri -> bool
+val uri_is_ind : uri -> bool
(* given an uri of a constant, it gives back the uri of its body *)
(* it gives back None if the uri refers to a Variable or MutualInductiveType *)