template<class
functiont>
struct smt_function_application_termt::has_indicest< functiont, void_t< decltype(std::declval< functiont >().indices())> >
Definition at line 151 of file smt_terms.h.
The documentation for this struct was generated from the following file: