let
length () =
Inthash
.length
Param
.states