Nat
Description
Dieses Modul stellt die Typen Nat und PositiveNat bereit,
die Typen der natuerlichen Zahlen mit bzw. ohne Null.
- type Nat = Integer
- type PositiveNat = Integer
Documentation
type Nat = Integer
Der Typ Nat soll eine Approximation an den Typ der natuerlichen Zahlen
mit Null sein.
type PositiveNat = Integer
Der Typ PositiveNat soll eine Approximation an den Typ der natuerlichen
Zahlen ab Eins sein.