Clause()
A clause of a contract, containing a chunk of verification logic. That logic may be delegated to other clauses, or provided directly by this clause.
S
- the type of contract state this clause operates on.C
- a common supertype of commands this clause operates on.K
- the type of the grouping key for states this clause operates on. Use Unit if not applicable.See Also