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));
}
