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

container() [2/2] template<typename T , typename F > T halcheck::gen::container ( lib::atom id, std::size_t size, F gen ) Generates a random container value. Template Parameters T The type of container to generate. F A nullary function type. Parameters id A unique identifier for the generated value. size The number of elements to generate. gen A function producing random values for the container. Returns A random container whose elements are drawn from gen.