* http://cs.unibo.it/helm/.
*)
-val pp_term:
- (string -> unit) -> Cic.metasenv -> Cic.context -> Cic.term -> unit
val mk_fresh_name:
Cic.context -> Cic.name -> Cic.name
val list_fold_right_cps:
Cic.context -> Cic.term -> Cic.term
val get_type:
string -> Cic.context -> Cic.term -> Cic.term
+val is_prop:
+ Cic.context -> Cic.term -> bool
val is_proof:
Cic.context -> Cic.term -> bool
val is_sort: