val inspect_term : int -> Cic.term -> string option * SetSet.t
val prefixes : int -> Cic.term -> string option * ((int * (StringSet.elt list)) list)
val inspect_term : int -> Cic.term -> string option * SetSet.t
val prefixes : int -> Cic.term -> string option * ((int * (StringSet.elt list)) list)
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
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