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