package smtml

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

Innovation. Community. Security.