|
cprover
|
#include <nonstd/optional.hpp>
Include dependency graph for optional.h:
This graph shows which files directly or indirectly include this file: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.