Enhanced C#
Language of your choice: library documentation
System.Diagnostics.Contracts Namespace Reference