(* ppobj obj returns a string with describing the cic object obj in a syntax *)
(* similar to the one used by Coq *)
val ppobj : Cic.obj -> string
+
+val ppterm : Cic.term -> string
+
+(* Required only by the topLevel. It is the generalization of ppterm to *)
+(* work with environments. *)
+val pp : Cic.term -> (Cic.name option) list -> string