sig
  type t = Ast.Ast.var
  val compare : Ast.Ast.var -> Ast.Ast.var -> int
  val v_str : Ast.Ast.var -> string
  val str2var : string -> Ast.Ast.var
end