Module Lang.Alpha

module Alpha: sig .. end

module Vmap: FCMap.Make(Lang.F.Var)
type t = 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