let hash a = Typ.hash a.arr_element