val exists_meta: int -> Cic.metasenv -> bool
val clean_up_local_context :
Cic.substitution -> Cic.metasenv -> int -> (Cic.term option) list
-> (Cic.term option) list
val is_closed : Cic.term -> bool
val exists_meta: int -> Cic.metasenv -> bool
val clean_up_local_context :
Cic.substitution -> Cic.metasenv -> int -> (Cic.term option) list
-> (Cic.term option) list
val is_closed : Cic.term -> bool