handle handle handle state state

state() [2/2] halcheck::lib::effect::state::state ( lib::in_place_t ) explicit Copies the current set of effect handlers. Postcondition Let st be a value of type state constructed via lib::effect::state(lib::in_place). Then { auto _ = st; lib::effect::invoke(args); } behaves as if lib::effect::invoke(args) is called at the time st is constructed.