sapling

let empty_state: <sap_t>sapling_state<sap_t>

The evaluation of the constant `empty_state` is an empty sapling state, that is, no one can spend tokens from it.

let verify_update: <sap_a>(_: sapling_transaction<sap_a>) => (_: sapling_state<sap_a>) => option<[bytes, [int, sapling_state<sap_a>]]>

The call verify_update(trans, state), where the transaction trans can be applied to the state state, returns Some ([data, [delta, new_state]]), where data is the bound data (as bytes), delta is the difference between the outputs and the inputs of the transaction, and new_state is the updated state.