Contract.Names
Contract.Usage
Test.Contract
Some auxiliaries used by various Curry tools to check contracts
Detailed package documentation (available shortly after this version has been published)