We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
:theory <op_name> : <arity> -> <coarity> { assoc | comm | id: <term> }
Adds operator theory 'associativity', 'commutativity', and/or 'identity' to an operator specfied by '<op_name> : -> .