val print_metasenv: Cic.metasenv -> string
val print_subst: ?prefix:string -> Cic.substitution -> string
val string_of_weight: weight -> string
val print_metasenv: Cic.metasenv -> string
val print_subst: ?prefix:string -> Cic.substitution -> string
val string_of_weight: weight -> string