let pairs, metasenv, ugraph =
List.fold_left
(fun (pairs, metasenv, ugraph) (context_of_t, t) ->
-prerr_endline "++++++++++++++++++++++++++";
-prerr_endline "context_of_t";
-prerr_endline (CicMetaSubst.ppcontext [] context_of_t);
-prerr_endline "t";
-prerr_endline (CicMetaSubst.ppterm [] t);
let with_what, metasenv, ugraph =
with_what context_of_t metasenv ugraph
in