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