(* Required only by the topLevel. It is the generalization of ppterm to *)
(* work with environments. *)
val pp : Cic.term -> (Cic.name option) list -> 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