let status, uris =
basic_eval_and_record_ncoercion (name,t,src,tgt,cpos,arity) status
in
- status,`New uris
+ status,uris
;;
let eval_ncoercion status name t ty (id,src) tgt =
let status, uris =
basic_eval_and_record_ncoercion (name,t,src,tgt,cpos,arity) status
in
- status,`New uris
+ status,uris
;;