Microsoft.Z3.IntNum.IntNum C# (CSharp) Метод

private IntNum ( Context ctx, IntPtr obj ) : System.Numerics
ctx	Context
obj	System.IntPtr
Результат	System.Numerics

        internal IntNum(Context ctx, IntPtr obj)
            : base(ctx, obj)
        {
            Contract.Requires(ctx != null);
        }

IntNum