Toggle navigation
KiCS2
All operations
All constructors
Curry Homepage
KiCS2 Libraries
About CurryDoc
Index to all constructors