Rename mapsto to pointsto
Iris calls it mapsto
because... reasons and someone got confused by LaTeX. But it's called points-to in the literature, and we should probably stop confusing people and rename this in Iris.
Iris calls it mapsto
because... reasons and someone got confused by LaTeX. But it's called points-to in the literature, and we should probably stop confusing people and rename this in Iris.