Toggle navigation
PAKCS
All operations
All constructors
Curry Homepage
PAKCS Libraries
About CurryDoc
Index to all constructors
S
Z
S
S
(
Data.Nat
)
S
Z
Z
Z
(
Data.Nat
)
S
Z