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