+val give_prune_hint : int -> unit
+
+val lambda_close :
+ ?prefix_name:string -> Cic.term -> Cic.metasenv -> Cic.context -> Cic.term *
+ int
+
+val pp_proofterm: Cic.term -> string
+val revision : string (* svn revision *)
+val size_and_depth : Cic.context -> Cic.metasenv -> Cic.term -> int * int