A pattern match between an Action and a Contract. To be used inside of a When statement.

Hierarchy

  • NormalCase

Properties

Properties

case: Action

TODO: Comment

then: Contract

TODO: Comment