CheckGroup interface description.

checkGroup opts

create a non-exclusive, many-from-many choice group, the options and their Picture labels in opts. The options are laid out in one column.

constrainedCheckGroup f opts

create a multiple choice group, but constrain what sets that can be selected via a predicate function.