Module Smtml.Interpret_intfSource

Sourcetype 'a state = {
  1. stmts : Ast.script;
  2. smap : (string, Ty.t) Hashtbl.t;
  3. pc : Expr.t list;
  4. solver : 'a;
}
Sourcemodule type S = sig ... end
Sourcemodule type Intf = sig ... end