Method Option

3rd/popl/include/popl.hpp:110–110

default copy constructor

	/// default copy constructor
	Option(const Option&) = default;

	/// default move constructor
	Option(Option&&) = default;