C# (CSharp) TypeSystem typeの例

コード例 #1

ファイル: type.cs プロジェクト: Zekka/type-inference

 internal type Canonicalize(type type)
 {
     return(new type(from c in type.Constraints select Canonicalize(c), Canonicalize(type.Term)));
 }

コード例 #2

ファイル: type.cs プロジェクト: Zekka/type-inference

 protected bool Equals(type other)
 {
     return(_constraints.SequenceEqual(other._constraints) && Term.Equals(other.Term));
 }