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