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