Refactor `smt_function_application_termt::indices` using C++17 feature#8035

Merged

thomasspriggs merged 1 commit intodiffblue:developfrom

thomasspriggs:tas/constexpr_indices

Nov 14, 2023

Commits on Nov 14, 2023

Use `if constexpr` in `smt_function_application_termt::indices`
thomasspriggs
committed