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