let
tau_of_var =
VAR
.tau_of_var