arbitrary container container element element_of guard index label one one optional range retry retry sample scale schedule size succeed variant

[struct] struct { ... } halcheck::gen::label Extends the unique identifiers passed to other random generation functions. Signature lib::finally_t<> label(lib::atom id); // (1) template<typename F, typename... Args> lib::finally_t<> label(lib::atom id, F func, Args &&...args); // (2) Template Parameters F The type of function to invoke. Args The types of arguments to pass. Parameters amount The amount to scale the result of gen::size by. func The function to invoke. args The types of arguments to pass to func. Returns lib::effect::invoke<label_effect>(value) (lib::label(id), lib::invoke(func, std::forward<Args>(args)...))