public static PeanoNumber of(PeanoNumber aPeanoNumber) { // System.Console.WriteLine("executing of"); PeanoNumber tPNum = new Succ(); tPNum.setPred(aPeanoNumber); return tPNum; }
public static PeanoNumber of(PeanoNumber aPeanoNumber) { // System.Console.WriteLine("executing of"); PeanoNumber tPNum = new Succ(); tPNum.setPred(aPeanoNumber); return(tPNum); }
public PeanoNumber succ() { return(Succ.of(this)); }