let
tau_of_var =
Fol
.
Var
.var_type