static <N extends HPre.HNat<N>> HPre.HEq<HPre.HSucc<N>,HPre.HZero,HPre.HFalse> |
HPre.HEq.eq(HPre.HSucc<N> a,
HPre.HZero b) |
Zero is not equal to anything other than zero.
|
static <N extends HPre.HNat<N>> HPre.HEq<HPre.HZero,HPre.HSucc<N>,HPre.HFalse> |
HPre.HEq.eq(HPre.HZero a,
HPre.HSucc<N> b) |
Zero is not equal to anything other than zero.
|
static HPre.HAnd<HPre.HFalse,HPre.HFalse,HPre.HFalse> |
HPre.HAnd.hAnd(HPre.HFalse a,
HPre.HFalse b) |
|
static HPre.HAnd<HPre.HFalse,HPre.HFalse,HPre.HFalse> |
HPre.HAnd.hAnd(HPre.HFalse a,
HPre.HFalse b) |
|
static HPre.HAnd<HPre.HFalse,HPre.HFalse,HPre.HFalse> |
HPre.HAnd.hAnd(HPre.HFalse a,
HPre.HFalse b) |
|
static HPre.HAnd<HPre.HFalse,HPre.HTrue,HPre.HFalse> |
HPre.HAnd.hAnd(HPre.HFalse a,
HPre.HTrue b) |
|
static HPre.HAnd<HPre.HFalse,HPre.HTrue,HPre.HFalse> |
HPre.HAnd.hAnd(HPre.HFalse a,
HPre.HTrue b) |
|
static HPre.HAnd<HPre.HTrue,HPre.HFalse,HPre.HFalse> |
HPre.HAnd.hAnd(HPre.HTrue a,
HPre.HFalse b) |
|
static HPre.HAnd<HPre.HTrue,HPre.HFalse,HPre.HFalse> |
HPre.HAnd.hAnd(HPre.HTrue a,
HPre.HFalse b) |
|
static <X,Y> HPre.HCond<HPre.HFalse,X,Y,Y> |
HPre.HCond.hCond(HPre.HFalse t,
X x,
Y y) |
|
static HPre.HOr<HPre.HFalse,HPre.HFalse,HPre.HFalse> |
HPre.HOr.hOr(HPre.HFalse a,
HPre.HFalse b) |
|
static HPre.HOr<HPre.HFalse,HPre.HFalse,HPre.HFalse> |
HPre.HOr.hOr(HPre.HFalse a,
HPre.HFalse b) |
|
static HPre.HOr<HPre.HFalse,HPre.HFalse,HPre.HFalse> |
HPre.HOr.hOr(HPre.HFalse a,
HPre.HFalse b) |
|
static HPre.HOr<HPre.HFalse,HPre.HTrue,HPre.HTrue> |
HPre.HOr.hOr(HPre.HFalse a,
HPre.HTrue b) |
|
static HPre.HOr<HPre.HTrue,HPre.HFalse,HPre.HTrue> |
HPre.HOr.hOr(HPre.HTrue a,
HPre.HFalse b) |
|