let le_loc_bool = M.le_loc_bool