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