Module Doc.TargetSource

Checking targets, this specifies what we expect check to reach

Sourcetype t =
  1. | End
  2. | Position of int * int
Sourceval reached : range:Lang.Range.t -> (int * int) -> bool

reached ~range (line,col) checks if (line,col) are before range's end.