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