let replace_exn t k v = ensure_can_modify t; match replace t k v with | `No_such_key -> raise (Replace_unknown_key k) | `Ok -> ()