handle handle handle state state

state() [1/2] halcheck::lib::effect::state::state ( ) default Constructs the default state object. Postcondition { auto _ = lib::effect::state().handle(); lib::effect::invoke(args); } == { auto _ = lib::effect::state().handle(); lib::fallback(args); }