#include <optional.hpp>
Definition at line 694 of file optional.hpp.
Definition at line 696 of file optional.hpp.