interface Clauses
The clauses for this contract are essentially:
ConserveAmount |
class ConserveAmount : AbstractConserveAmount<State, Commands, Commodity>
Standard clause for conserving the amount from input to output. |
Group |
class Group : GroupClauseVerifier<State, Commands, Issued<Commodity>>
Grouping clause to extract input and output states into matched groups and then run a set of clauses over each group. |
Issue |
class Issue : AbstractIssue<State, Commands, Commodity>
Standard issue clause, specialised to match the commodity issue command. |