(* similar to the one used by Coq *)
val ppobj : Cic.obj -> string
-val ppterm : Cic.term -> string
+val ppterm : ?metasenv:Cic.metasenv -> Cic.term -> string
-val ppcontext : ?sep:string -> Cic.context -> string
+val ppcontext : ?metasenv:Cic.metasenv -> ?sep:string -> Cic.context -> 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
+val pp : ?metasenv:Cic.metasenv -> Cic.term -> (Cic.name option) list -> string
val ppname : Cic.name -> string