Module Cinterpreter.State

The module State is a map that maps each variable to a concrete integer Z.t

type t

val empty : t

val find : While_ast.Var.t -> t -> Z.t

val add : While_ast.Var.t -> Z.t -> t -> t

val iter : (While_ast.Var.t -> Z.t -> unit) -> t -> unit

val pp : Stdlib.Format.formatter -> t -> unit

val of_list : (string * int) list -> t