let
loc_of_term =
M
.loc_of_term