signature

signature { <sig-decl> }

Block enclosing declarations of sorts and operators. Other statements are not allowed within the signature block. Optional structuring of the statements in a module.

Related: op, sort, imports, axioms