let
loc_of_term o t =
Mloc
(
M
.loc_of_term o t)