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