pub type OptionState<Q> = State<Option<Q>>;
A state whose halting value is defined by the None variant.
None
#[repr(transparent)]pub struct OptionState<Q>(pub Option<Q>);
0: Option<Q>