Module Smtlib2.Env

type ty = Expr.Ty.t
type ty_var = Expr.Ty.Var.t
type ty_cst = Expr.Ty.Const.t
type term = Expr.Term.t
type term_var = Expr.Term.Var.t
type term_cst = Expr.Term.Const.t
type formula = Expr.formula
module Id : sig ... end
module Scope : sig ... end
type !'a info = {
  1. unit : unit;
}
module H : sig ... end
type 'a key = 'a H.key
type t = {
  1. scope : Scope.t;
  2. hmap : H.t;
}
val empty : Scope.t -> t
val key : unit -> 'a H.key
val get : t -> 'a H.key -> 'a option
val set : t -> 'a H.key -> 'a -> t
module Ty_var : sig ... end
module Ty_cst : sig ... end
module Term_var : sig ... end
module Term_cst : sig ... end