Declarations# Top-level declarations in Crochet are described in this chapter, alphabetically sorted. capability Example command Signatures Postfix commands Cast commands Binary commands Prefix commands Keyword commands Self-less keyword commands Requirements Ignored requirements Variable requirements Type requirements Trait requirements Type and trait requirements Contracts Pre-conditions Post-conditions Test blocks Documentation comment Example define Example effect Parameters handler implement local Definitions Types Traits Effects open prelude protect Definitions Effects Traits Types test trait Trait requirements Command requirements type Foreign types Enumeration types Abstract types Singleton types Convenience commands Regular types With no parameters With parameters