コード例 #1
0
 @Override
 public default Nat creerSuccesseur(Nat predecesseur) {
   return this.creerNatAvecValeur(predecesseur.val() + 1);
 }