optimize list concatenation

panglesd · jonludlam · commit 0646170990ec · 2023-09-18T12:13:30.000+01:00
Signed-off-by: Paul-Elliot &lt;peada@free.fr&gt;
diff --git a/src/loader/implementation.ml b/src/loader/implementation.ml
@@ -10,6 +10,8 @@ type annotations =
   | DefJmp of Shape.Uid.t
 
 module Analysis = struct
+  let (@) = List.rev_append
+
   open Typedtree
   open Odoc_model.Paths
 
