let var_eq = Var.eq