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)