invoke invoke save

invoke() [1/2] template<typename T , typename... Args> static lib::effect_result_t< T > halcheck::lib::effect::invoke ( Args &&... args ) inlinestatic Invokes an effect. Template Parameters T The type of effect to invoke. Args The types of arguments to pass to the effect. Parameters args The arguments to pass to the effect. Returns The result of invoking the effect. Postcondition effect::invoke<T>(args...) == effect::invoke(T{args...})