let aux_l l ~refresh_uri_in_universe ~refresh_uri_in_term =
List.fold_right (aux ~refresh_uri_in_universe ~refresh_uri_in_term) l
in
- NCicLibrary.Serializer.register "ncoercion" aux_l
+ NCicLibrary.Serializer.register#run "ncoercion"
+ object(self : 'a NCicLibrary.register_type)
+ method run = aux_l
+ end
;;
let basic_eval_and_record_ncoercion infos status =