let
term_of_loc l =
M
.term_of_loc (mloc_of_loc l)