Beispiel #1
0
 public static HAnd <HFalse, HTrue, HTrue> hor(HFalse a, HTrue b)
 {
     return(new HAnd <HFalse, HTrue, HTrue>(htrue));
 }
Beispiel #2
0
 public static HAnd <HFalse, HTrue, HFalse> hand(HFalse a, HTrue b)
 {
     return(new HAnd <HFalse, HTrue, HFalse>(hfalse));
 }
Beispiel #3
0
 public static HAnd <HFalse, HFalse, HFalse> hor(HFalse a, HFalse b)
 {
     return(new HAnd <HFalse, HFalse, HFalse>(hfalse));
 }
Beispiel #4
0
 public static HCond <HFalse, X, Y, Y> hcond(HFalse t, X x, Y y)
 {
     return(new HCond <HFalse, X, Y, Y>(y));
 }