Beispiel #1
0
 public static HEq <HSucc <N>, HZero, HFalse> eq <N>(HSucc <N> a, HZero b) where N : HNat <N>
 {
     return(new HEq <HSucc <N>, HZero, HFalse>(hfalse));
 }
Beispiel #2
0
 public static HEq <HZero, HZero, HTrue> eq(HZero a, HZero b)
 {
     return(new HEq <HZero, HZero, HTrue>(htrue));
 }