Module Lang.Source_info

type point_in_file = {
  1. pos_lnum : int;
  2. pos_cnum : int;
}
type location_in_file = {
  1. loc_start : point_in_file;
  2. loc_end : point_in_file;
}
type 'a jump_to_impl =
  1. | Unresolved of 'a
  2. | Resolved of Paths.Identifier.SourceLocation.t
type 'a jump_to = {
  1. documentation : 'a option;
  2. implementation : 'a jump_to_impl option;
}
type 'a with_pos = 'a * location_in_file
type t = annotation with_pos list