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