.ctor(ILoopInvariant) Constructor

// .NET Standard 1.6 + Platform Extensions
// Microsoft.Cci, Version=4.0.0.0, PublicKeyToken=b03f5f7f11d50a3a

namespace Microsoft.Cci.MutableContracts
{
    public sealed class LoopInvariant : ContractElement, IContractElement, ILoopInvariant, IObjectWithLocations
    {
        public LoopInvariant(ILoopInvariant loopInvariant);
    }
}

Usage

Metadata

ID
M:Microsoft.Cci.MutableContracts.LoopInvariant.#ctor(Microsoft.Cci.Contracts.ILoopInvariant)

Declarations

Platform Version Assembly
.NET Standard + Platform Extensions 1.6 Microsoft.Cci, Version=4.0.0.0, PublicKeyToken=b03f5f7f11d50a3a