external with_new_parameters : Core_model.t -> t -> Mesh_parameters.t -> t = "core_mesh_with_new_parameters"