CheckArbitrary

Check the T type has properly defined Arbitrary template. Prints useful user-friendly messages at compile time.

Good practice is put the template in static assert while defining own instances of Arbitrary to get confidence about instance correctness.

template CheckArbitrary (
T
) {
enum CheckArbitrary;
}

Meta