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