let rec pp_dim fmt = function
| TArray (typ_elt,lo,_,_) ->
(match lo with
| Some lo ->
Format.fprintf fmt "[%a]" !Ast_printer.d_exp lo
| None ->
Format.fprintf fmt "[]"); pp_dim fmt typ_elt
| _ -> ()