Module Lang.Alpha

module Alpha: sig .. end

module Vmap: FCMap.Make(Lang.F.Var)
type t = {
   mutable vars : Lang.F.var Vmap.t;
   mutable cache : Lang.F.term Lang.F.Tmap.t;
}
val create : unit -> t
val get : t -> Vmap.key -> Lang.F.var
val iter : (Vmap.key -> Lang.F.var -> unit) -> t -> unit
val convert : t -> Lang.F.term -> Lang.F.term
val convertp : t -> Lang.F.term -> Lang.F.term