Module State.Read_only
val offset : t -> intval line : t -> intval column : t -> intval position : t -> Positions.pos
State.Read_onlyval offset : t -> intval line : t -> intval column : t -> intval position : t -> Positions.pos