cprover
|
#include <nonstd/optional.hpp>
Go to the source code of this file.
Typedefs | |
template<typename T > | |
using | optionalt = nonstd::optional< T > |
typedef nonstd::bad_optional_access | bad_optional_accesst |
typedef nonstd::bad_optional_access bad_optional_accesst |
Definition at line 37 of file optional.h.
using optionalt = nonstd::optional<T> |
Definition at line 35 of file optional.h.