let equal_loc_bool = M.equal_loc_bool