let register model (updater:updater) = if Hashtbl.mem updaters model then Wp_parameters.fatal "Duplicate updater for model '%s'" model ; Hashtbl.add updaters model updater