let
pretty fmt (te,dims) =
Typ
.pretty fmt te ;
List
.iter (pp_dim fmt) dims