let tarray_name te ds =
  Pretty_utils.sfprintf "%a%t" tarray_elt te
    (fun fmt ->
       List.iter
         (function
            | None -> Format.fprintf fmt "_arr"
            | Some n -> Format.fprintf fmt "_a%d" n
         ) ds)