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