mapPos

fun mapPos(pos: DocPos, assoc: Int = -1): DocPos

Map a given position through these changes, to produce a position pointing into the new document.

fun mapPos(pos: DocPos, assoc: Int, mode: MapMode): DocPos?

Map a given position through these changes. Returns null if the position was deleted according to the given mode.