let
mem =
Inthash
.mem states