(* FG: Consistency Check
* detects applications without arguments
*)
-val is_sober: Cic.term -> bool
+val is_sober: Cic.context -> Cic.term -> bool
+
+val pp_term:
+ (string -> unit) -> Cic.metasenv -> Cic.context -> Cic.term -> unit
+val pp_obj:
+ (string -> unit) -> Cic.obj -> unit