/// <summary />
public Int32Collection(Int32Collection collection)
{
AddRange(collection);
}
// Construction
/// <summary />
public Enumerator(Int32Collection tc)
{
m_collection = tc;
m_index = -1;
m_version = tc.m_version;
}