Module `Bitcoinml.Script_verify`

module Sigver : sig ... end: Abstract module for verify functions

module SStack : sig ... end: Script execution stack

val verify : Sigver.t -> Script.t -> Script.t -> bool: verify sigver s1 s2 execute a script s1 and s2 using sigver

val is_spendable : Script.t -> bool: is_spendable s returns true if s is spendable by a recognized address

val spendable_by : Script.t -> Address.prefix -> string option: spendable_by s prefix returns the address (using prefix) which is able to spend the given script

val classify_output : Script.t -> string: classify_output s returns the template name of the output script s if any