Env (dolmen_loop.Dolmen_loop.Export.Make.Smtlib2

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 =
  'a
    Smtlib2(State)(Dolmen.Smtlib2.Script.Poly.Print.Make)(Expr)(Sexpr)(View)(Typer_Types).Env.info =
  {

}

module H : sig ... end

type 'a key = 'a H.key

type t =
  Smtlib2(State)(Dolmen.Smtlib2.Script.Poly.Print.Make)(Expr)(Sexpr)(View)(Typer_Types).Env.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