<Namespace Name="System.Diagnostics.Contracts.Internal">
  <Docs>
    <summary>This namespace contains classes for handling code contract failures.</summary>
    <remarks></remarks>
  </Docs>
</Namespace>
