let
equal_loc_bool =
M
.equal_loc_bool