module Alpha:sig
..end
module Vmap:FCMap.Make
(
Lang.F.Var
)
typet =
Lang.F.var Vmap.t Pervasives.ref
val create : unit -> 'a Vmap.t Pervasives.ref
val get : Lang.F.var Vmap.t Pervasives.ref ->
Vmap.key -> Lang.F.var
val iter : (Vmap.key -> 'a -> unit) ->
'a Vmap.t Pervasives.ref -> unit
val convert : Lang.F.var Vmap.t Pervasives.ref -> Lang.F.term -> Lang.F.term
val convertp : Lang.F.var Vmap.t Pervasives.ref -> Lang.F.term -> Lang.F.term