Module Export.Env

Parameters

module N : NS

Signature

type ty = E.Ty.t
type ty_var = E.Ty.Var.t
type ty_cst = E.Ty.Const.t
type term = E.Term.t
type term_var = E.Term.Var.t
type term_cst = E.Term.Const.t
type formula = E.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