let
eq_var =
Fol
.
Var
.equal