Document array_poolt::insert

Author: romainbrenguier

src/solvers/strings/array_pool.h

@@ -71,6 +71,8 @@ class array_poolt final
   /// \return expression for the length of `s`, or empty optional
   optionalt<exprt> get_length_if_exists(const array_string_exprt &s) const;
 
+  /// Associate \p pointer_expr to \p array and if the size in the array type is
+  /// different from infinity, record it as the length of array
   void insert(const exprt &pointer_expr, const array_string_exprt &array);
 
   /// Creates a new array if the pointer is not pointing to an array