let pretty fmt (te,dims) = Typ.pretty fmt te ; for i=1 to dims do Format.pp_print_string fmt "[]" done