public static HEq <HSucc <N>, HSucc <NN>, B> eq <N, NN, E>(HSucc <N> a, HSucc <NN> b, E e) where N : HNat <N> where NN : HNat <NN> where E : HEq <N, NN, B> { return(new HEq <HSucc <N>, HSucc <NN>, B>(e.Value)); }
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)); }