1. Overview
  2. Docs
package tezos-sapling
Legend:
Library
Module
Module type
Parameter
Class
Class type
val with_verification_ctx : (R.verification_ctx -> 'a) -> 'a
val check_spend : R.verification_ctx -> UTXO.input -> R.hash -> string -> bool
val check_output : R.verification_ctx -> UTXO.output -> bool
val final_check : R.verification_ctx -> UTXO.transaction -> string -> bool