package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

Tezos protocol alpha package

Install

sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c

sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a

type t = Tezos_sapling__Core.Validator.Verification.t

val with_verification_ctx : (t -> 'a) -> 'a

val check_spend : t -> UTXO.input -> Hash.t -> string -> bool

val check_output : t -> UTXO.output -> bool

val final_check : t -> UTXO.transaction -> string -> bool