pub type HostState<Ext, Mem> = Option<State<Ext, Mem>>;
enum HostState<Ext, Mem> { None, Some(State<Ext, Mem>), }
No value.
Some value of type T.
T