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