Odoc_loader.Source_info
type local_jmp_infos = Odoc_model.Lang.Source_info.jmp_to_def Odoc_model.Lang.Source_info.with_pos list
val of_local_jmp : local_jmp_infos -> Odoc_model.Lang.Source_info.infos
Source infos loaded from the cmt file.
val of_source : string -> Odoc_model.Lang.Source_info.infos
Source infos parsed from the source code.