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