-* @return type of elimination principle for the given inductive type
-*)
-val elim_of: ?sort:Cic.sort -> UriManager.uri -> int -> Cic.term
-
-(** parameters as above
-* @return body of elimination principle for the given inductive type
+* @raise Can_t_eliminate
+* @return Cic constant corresponding to the required elimination principle
+* and its uri