let
tau_of_loc =
M
.tau_of_loc