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