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