CopyConstructible<T> Concept

Definition

Line 16 of System.Base/Concept.cm

Type Parameters

T

Constraints

T(const T&)

Axioms

axiom copyIsEqual(T a)
{
    eq(T(a), a);
}