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

variant() template<typename... Fs> lib::variant< lib::invoke_result_t< Fs, lib::atom >... > halcheck::gen::variant ( lib::atom id, Fs... gens ) Constructs a random variant. Template Parameters Fs The generator function types for each variant element type. Parameters id A unique identifier for the generated value. gens The generators for each variant element type. Returns A variant whose value is drawn from a randomly selected element of gens.