Microsoft.Contracts namespace

Question

For what it is necessary Microsoft.Contracts namespace in asp.net?

I mean, in what cases I could write using Microsoft.Contracts;?

Answer 1

You can find the library here C:\Program Files\Reference Assemblies\Microsoft\Framework.NETFramework\v4.0\mscorlib.dll

Answer 2

For using code contracts.