module Alpha:sig
..end
module Vmap:FCMap.Make
(
Lang.F.Var
)
type
t = {
|
mutable vars : |
|
mutable cache : |
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