(NCicUntrusted.mk_appl t args) ^ " --- " ^
string_of_int (List.length args) ^ " == " ^ string_of_int arg));
name,metasenv, NCicUntrusted.mk_appl t args, ty, List.nth args arg)
(NCicUntrusted.mk_appl t args) ^ " --- " ^
string_of_int (List.length args) ^ " == " ^ string_of_int arg));
name,metasenv, NCicUntrusted.mk_appl t args, ty, List.nth args arg)