Module Raw.Verification

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