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