package codex

  1. Overview
  2. Docs
package codex
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Cinterpreter.StateSource

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

Sourcetype t
Sourceval empty : t
Sourceval find : While_ast.Var.t -> t -> Z.t
Sourceval add : While_ast.Var.t -> Z.t -> t -> t
Sourceval iter : (While_ast.Var.t -> Z.t -> unit) -> t -> unit
Sourceval pp : Format.formatter -> t -> unit
Sourceval of_list : (string * int) list -> t