Script_verify.SStack
Script execution stack
type t
= int Stdlib.Stack.t
val create : unit -> t
val pop : t -> int
val top : t -> int
val push : int -> t -> unit
val push_data : string -> t -> unit