let ok_array_term s x n b p = if is_formal_var_type x then ok_array_term_formal s x n b p else ok_array_term_arg s x n b p