let array_format (typ_elt: format) : format
      = e_app1 mk_array_format typ_elt