singrdk/base/Kernel/SpecSharp.Contracts/System.Object.sg

19 lines
416 B
Plaintext

// ----------------------------------------------------------------------------
//
// Copyright (c) Microsoft Corporation. All rights reserved.
//
// ----------------------------------------------------------------------------
using System;
using Microsoft.SpecSharp.Collections;
namespace System
{
public class Object
{
public new Type! GetType();
public string! ToString();
}
}