let darray_name te n = Pretty_utils.sfprintf "%a_d%d" tarray_elt te n