diff options
Diffstat (limited to 'debugger/source.mli')
| -rw-r--r-- | debugger/source.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debugger/source.mli b/debugger/source.mli index 5bcbb74d8..273cb517b 100644 --- a/debugger/source.mli +++ b/debugger/source.mli @@ -56,3 +56,6 @@ val pos_of_line : buffer -> int -> position (* Convert a coordinate (line / column) into a position. *) (* --- The first line and column are line 1 and column 1. *) val point_of_coord : buffer -> int -> int -> int + +(* Return the offsets of both line start and cnum for the passed position. *) +val start_and_cnum : buffer -> Lexing.position -> (int * int) |