Package peano
All operations
All constructors
Module Index
Base Libraries
Curry Packages
Curry Homepage
About CurryDoc
Index to all constructors
S
Z
S
S
(
Data.Nat
)
S
Z
Z
Z
(
Data.Nat
)
S
Z