let
inner_loc loc =
M
.term_of_loc (mloc_of_loc loc)