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

arbitrary() template<typename T > T halcheck::gen::arbitrary ( lib::atom id ) Generates an arbitrary value of a given type. Template Parameters T The type of value to obtain. Parameters id A unique id for the generated value. Returns arbitrary(lib::tag<lib::decay_t<T>>(), id) This overload participates in overload resolution only if gen::is_arbitrary<T>() is satisfied.