Module Lang.Source_infoSource

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 * (int * int)
type t = annotation with_pos list