let
strict_remove t k =
if
mem t k
then
remove t k
else
failwith
"Hash_set.strict_remove"