val is_closed : Cic.term -> bool
val is_meta_closed : Cic.term -> bool
val metas_of_term : Cic.term -> (int * Cic.term option list) list
val is_closed : Cic.term -> bool
val is_meta_closed : Cic.term -> bool
val metas_of_term : Cic.term -> (int * Cic.term option list) list