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