Exemplo n.º 1
0
 public static HAnd <HFalse, HTrue, HFalse> hand(HFalse a, HTrue b)
 {
     return(new HAnd <HFalse, HTrue, HFalse>(hfalse));
 }
Exemplo n.º 2
0
 public static HAnd <HTrue, HTrue, HTrue> hor(HTrue a, HTrue b)
 {
     return(new HAnd <HTrue, HTrue, HTrue>(htrue));
 }
Exemplo 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));
 }