val pp_SetSet : SetSet.t -> string
+val pp_StringSet : StringSet.t -> string
+
+
+
val inspect_term : int -> Cic.term -> string option * SetSet.t
val prefixes : int -> Cic.term -> string option * ((int * (StringSet.elt list)) list)
-(* (constants_of t) returns a pair (b,n) where n is the number of
+(* (constants_of t) returns a pair (b,n) where n is the set of the
constants in the conclusion of t, and b is true if in MainConclusion
we have an equality *)
val constants_of : Cic.term -> bool * StringSet.t
+val constants_concl : Cic.term -> StringSet.t
+
val pp_prefixes : ((int * (StringSet.elt list)) list) -> string