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.