9 #ifndef CPROVER_UTIL_VALIDATE_HELPERS_H
10 #define CPROVER_UTIL_VALIDATE_HELPERS_H
12 #include <type_traits>
17 template <
typename Base,
typename T>
20 static_assert(std::is_base_of<Base, T>::value,
"");
28 template <
typename Base,
typename T>
31 static_assert(std::is_base_of<Base, T>::value,
"");
40 template <
typename Base,
typename T>
43 static_assert(std::is_base_of<Base, T>::value,
"");
48 T::validate_full(base, ns, vm);