let
equal_loc =
M
.equal_loc