(** @raise Failure "not enough prods" *)
val strip_prods: int -> Cic.term -> Cic.term
+(** {2 Cic selectors} *)
+
+val params_of_obj: Cic.obj -> UriManager.uri list
+val attributes_of_obj: Cic.obj -> Cic.attribute list
+
(** {2 Contexts}
* A context is a Cic term in which Cic.Implicit terms annotated with `Hole
* appears *)