Esempio n. 1
0
 public static bool Eq(this ITypeNat lhs, ITypeNat rhs)
 => lhs.value == rhs.value;
Esempio n. 2
0
 public static bool Gt(this ITypeNat lhs, ITypeNat rhs)
 => lhs.value > rhs.value;
Esempio n. 3
0
 public static bool Lt(this ITypeNat lhs, ITypeNat rhs)
 => lhs.value < rhs.value;
Esempio n. 4
0
 internal NatSum(ITypeNat lhs, ITypeNat rhs)
 {
     this.Lhs = lhs;
     this.Rhs = rhs;
 }