let hash (te,dims) =
         List.fold_left pp_hash_dim (Typ.hash te) dims