Used to express a spending condition that proofs should be encumbered with
Expresses the spending condition relative to the kind
The kind of spending condition
Tags associated with the spending condition for additional data
Used to express a spending condition that proofs should be encumbered with