ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
native_value_maker< T, T > Struct Template Reference
#include <
toml.hpp
>
Static Public Member Functions
template<typename U>
TOML_NODISCARD
static
TOML_ALWAYS_INLINE
U &&
make
(U &&val) noexcept
Member Function Documentation
◆
make()
template<typename
T
>
template<typename U>
TOML_NODISCARD
static
TOML_ALWAYS_INLINE
U && native_value_maker<
T
,
T
>::make
(
U &&
val
)
inline
static
noexcept
The documentation for this struct was generated from the following file:
src/lib/
toml.hpp
native_value_maker< T, T >
Generated by
1.15.0