Module Smtml.Interpret_intfSource

Execution State and Interpreter Interface

Sourcetype 'a state = {
  1. stmts : Ast.script;
    (*

    The script being executed

    *)
  2. smap : (string, Ty.t) Smtml_prelude.Hashtbl.t;
    (*

    A mapping of variable names to types

    *)
  3. solver : 'a;
    (*

    The underlying solver instance

    *)
}

Represents the execution state of the interpreter

Sourcemodule type S = sig ... end
Sourcemodule type Intf = sig ... end