package owi

  1. Overview
  2. Docs

Module Stack.Make

Parameters

module V : Value_intf.T

Signature

type t = V.t list
val empty : t
val pp : Format.formatter -> t -> unit

pop operations

val drop : t -> t
val drop_n : 'a list -> int -> 'a list
val pop : t -> V.t * t
val pop_n : t -> int -> t * t
val keep : t -> int -> t
val pop_bool : t -> V.vbool * t
val pop_i32 : t -> V.int32 * t
val pop2_i32 : t -> (V.int32 * V.int32) * t
val pop_i64 : t -> V.int64 * t
val pop2_i64 : t -> (V.int64 * V.int64) * t
val pop_f32 : t -> V.float32 * t
val pop2_f32 : t -> (V.float32 * V.float32) * t
val pop_f64 : t -> V.float64 * t
val pop2_f64 : t -> (V.float64 * V.float64) * t
val pop_ref : t -> V.t * t
val pop_as_ref : t -> V.ref_value * t

push operations

val push : t -> V.t -> t
val push_bool : t -> V.vbool -> t
val push_i32 : t -> V.int32 -> t
val push_const_i32 : t -> Int32.t -> t
val push_i32_of_int : t -> int -> t
val push_i64 : t -> V.int64 -> t
val push_const_i64 : t -> Int64.t -> t
val push_f32 : t -> V.float32 -> t
val push_const_f32 : t -> Float32.t -> t
val push_f64 : t -> V.float64 -> t
val push_const_f64 : t -> Float64.t -> t
val push_as_externref : t -> 'b Type.Id.t -> 'b -> t
val push_array : t -> unit Array.t -> t