Add doc-comment for the implementation module

Co-authored-by: Jules Aguillon <[email protected]>
Signed-off-by: Paul-Elliot <[email protected]>

Author: 2 people

src/loader/ident_env.cppo.mli

@@ -94,3 +94,6 @@ val extract_signature_tree_items :
 
 val identifier_of_loc :
   t -> Warnings.loc -> Odoc_model.Paths.Identifier.t option
+(** Each generated id has its location stored. This allows to get back the id
+    knowing only the location. This is used to generate links to source from the
+    resolution of a shape. *)

src/loader/implementation.mli

@@ -3,3 +3,8 @@ val of_cmt :
   Odoc_model.Paths.Identifier.RootModule.t ->
   Cmt_format.cmt_infos ->
   Shape_.t option * Odoc_model.Lang.Source_info.infos
+(** Extract all implementation information from a [cmt]: the shape, and the
+    {{!Odoc_model.Lang.Source_info.infos}source infos} (local and global
+    definitions and occurrences).
+
+    In OCaml version below 4.14, the information is always empty. *)