let strict_add t k = if mem t k then failwith "Hash_set.strict_add" else Hashtbl.add t ~key:k ~data:()