C# (CSharp) TypeSystem type Examples

Example #1

File: type.cs Project: Zekka/type-inference

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

Example #2

File: type.cs Project: Zekka/type-inference

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