let
fold f =
Inthash
.fold f states