(class)

This type is found in the namespace System.Diagnostics.Contracts