Module `Lang.Source_info`Source

type 'a jump_to_impl =

| Unresolved of 'a
| Resolved of Paths.Identifier.SourceLocation.t

type 'a jump_to = {

documentation : 'a option;
implementation : 'a jump_to_impl option;

}

type annotation =

| Definition of Paths.Identifier.SourceLocation.t
| Value of Paths.Path.Value.t jump_to
| Module of Paths.Path.Module.t jump_to
| ModuleType of Paths.Path.ModuleType.t jump_to
| Type of Paths.Path.Type.t jump_to

type 'a with_pos = 'a * (int * int)

type t = annotation with_pos list