overload

overload() template<typename... Args> halcheck::lib::overload< Args >::overload ( Args... args ) explicit Construct a new overload set.*. Parameters args The set of overloads to represent. Postcondition overload(fs...)(xs...) = f(xs...), where f is the unique element of fs such that lib::is_invocable<decltype(f), decltype(xs)...>() is satisfied.