let
hash a =
Typ
.hash a.arr_element