Module Source_reader.Line_startsSource

Sourcetype t = {
  1. unsafe_get : int -> Grace.Byte_index.t;
  2. length : int;
}

The type of line starts.

For computation of line numbers from ranges, we require a function mapping line indices to byte indicies and the maximum line index.

A valid line_starts for a source satisfies:

  1. ...
Sourcetype fn = Source_descr.t -> t

A line starts function maps a given source (descriptor) to its line starts.

Sourceval default_fn : fn