Dummy argument to distinguish two constructors for Partition. More...
#include <tags.h>
Dummy argument to distinguish two constructors for Partition.