let
hash (sa:t) =
Hashtbl
.hash_param 100 500 sa