add function to get line number of LineGap to signature, so that it is available to callers

This commit is contained in:
2025-09-11 18:01:19 +01:00
parent 92006ae680
commit 5d2a2ef737

View File

@@ -28,6 +28,8 @@ sig
val goToIdx: int * t -> t
val goToLine: int * t -> t
val getLineNumberOfIdx: int * t -> int
(* for testing *)
val verifyIndex: t -> unit
val verifyLines: t -> unit