Stack (infer.Pulselib.PulseAbductiveDomain.Stack)

val add : IR.Var.t -> PulseBaseStack.value -> t -> t

val remove_vars : IR.Var.t list -> t -> t

val fold : (IR.Var.t -> PulseBaseStack.value -> 'a -> 'a) -> t -> 'a -> 'a

val find_opt : IR.Var.t -> t -> PulseBaseStack.value option

val eval : 
  Pulselib.PulseBasicInterface.ValueHistory.t ->
  IR.Var.t ->
  t ->
  t
  * (Pulselib.PulseBasicInterface.AbstractValue.t
     * Pulselib.PulseBasicInterface.ValueHistory.t)

return the value of the variable in the stack or create a fresh one if needed

val mem : IR.Var.t -> t -> bool

val exists : (IR.Var.t -> PulseBaseStack.value -> bool) -> t -> bool

val keys : t -> IR.Var.t list