module AstEq: sig .. end
sig
end
val eq_vars : Ast.Ast.var -> Ast.Ast.var -> int
Ast.Ast.var -> Ast.Ast.var -> int
val eq_exps : Ast.Ast.exp -> Ast.Ast.exp -> bool
Ast.Ast.exp -> Ast.Ast.exp -> bool