//! Constructs a set with "num" elements, copying them from "init".
/*! Be very careful to ensure that the array "init" has sufficient length
for "num" elements to be copied from it. */
//! Constructs a set with "num" elements, copying them from "init".
/*! Be very careful to ensure that the array "init" has sufficient length
for "num" elements to be copied from it. */