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