ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
underlying_type_< T, bool > Struct Template Reference
#include <
toml.hpp
>
Public Types
using
type
= std::underlying_type_t<
T
>
Member Typedef Documentation
◆
type
template<typename
T
,
bool
= std::is_enum_v<T>>
using
underlying_type_
<
T
,
bool
>::type = std::underlying_type_t<
T
>
The documentation for this struct was generated from the following file:
src/lib/
toml.hpp
underlying_type_
Generated by
1.15.0