Module Wp.Lang.Alpha

module Alpha: sig .. end

type t 
val create : unit -> t
val get : t -> Wp.Lang.F.var -> Wp.Lang.F.var
val iter : (Wp.Lang.F.var -> Wp.Lang.F.var -> unit) -> t -> unit
val convert : t -> Wp.Lang.F.term -> Wp.Lang.F.term
val convertp : t -> Wp.Lang.F.pred -> Wp.Lang.F.pred