let
add =
Inthash
.add states