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