[Eva] Clarifies the documentation of [replace_base] in lmap and locations.

src/kernel_services/abstract_interp/lmap_sig.mli

@@ -151,7 +151,8 @@ val filter_by_shape: 'a Hptmap.Shape(Base.Base).t -> t -> t
 val remove_base : Base.t -> t -> t
 
 (** [replace_bases substitition map] replaces some bases in [map]
-    according to [substitution]. *)
+    according to [substitution]. If [substitution] conflates different bases,
+    the offsetmaps bound to these bases are joined. *)
 val replace_base: Base.substitution -> t -> t
 
 

src/kernel_services/abstract_interp/locations.mli

@@ -80,7 +80,8 @@ module Location_Bytes : sig
 
   val replace_base: Base.substitution -> t -> bool * t
   (** [replace_base subst loc] changes the location [loc] by substituting the
-      pointed bases according to [subst]. *)
+      pointed bases according to [subst]. If [substitution] conflates different
+      bases, the offsets bound to these bases are joined. *)
 
   val diff : t -> t -> t
     (** Over-approximation of difference. [arg2] needs to be exact or an