Add time and space complexity documentation to all public functions in Map module

[Copilot]

This PR adds comprehensive time and space complexity documentation to all public functions in the F# Map module (map.fsi). The complexity analysis is derived from the underlying AVL tree implementation and follows a strict, consistent format.

Changes Made

Added <remarks> documentation with time and space complexity to 30+ public functions including:

• Map type members: Add, Change, Remove, ContainsKey, TryFind, Count, Keys, Values, etc.
• Map module functions: add, remove, find, filter, fold, map, ofList, toArray, etc.

Documentation Format

Each function now includes complexity information in a standardized format:

/// <summary>Returns a new map with the binding added to the given map.</summary>
/// <remarks>Time complexity: O(log n), Space complexity: O(log n)</remarks>
/// <param name="key">The input key.</param>

Complexity Analysis

The complexities are mathematically accurate based on the AVL tree implementation:

• O(1): empty, isEmpty - constant time operations
• O(log n): add, remove, find, containsKey - tree traversal and balancing
• O(n): count, iter, fold, toList - operations that process all elements
• O(n log n): ofList, filter, partition - operations that rebuild the tree

Space complexity accounts for:

• New tree nodes created during modifications (O(log n) for path copying)
• Recursion stack depth (O(log n) for balanced tree operations)
• Output collections (O(n) for sequences and arrays)

Verification

• ✅ Full build passes (./build.sh -c Release --norestore)
• ✅ Code formatting verified (dotnet fantomas --check .)
• ✅ No breaking changes to existing functionality
• ✅ All existing tests continue to pass

This documentation will help developers understand the performance characteristics of Map operations and make informed decisions about data structure usage in performance-critical code.

This pull request was created as a result of the following prompt from Copilot chat.

Add time and space complexity documentation in to all public functions in the Map module in map.fsi. Derive complexity from implementation, using strict format, and append to existing remarks if present.

---

💡 You can make Copilot smarter by setting up custom instructions, customizing its development environment and configuring Model Context Protocol (MCP) servers. Learn more Copilot coding agent tips in the docs.

[github-actions]

❗ Release notes required

@copilot,

Caution

No release notes found for the changed paths (see table below).

Please make sure to add an entry with an informative description of the change as well as link to this pull request, issue and language suggestion if applicable. Release notes for this repository are based on Keep A Changelog format.

The following format is recommended for this repository:

* <Informative description>. ([PR #XXXXX](https://github.com/dotnet/fsharp/pull/XXXXX))

See examples in the files, listed in the table below or in th full documentation at https://fsharp.github.io/fsharp-compiler-docs/release-notes/About.html.

If you believe that release notes are not necessary for this PR, please add NO_RELEASE_NOTES label to the pull request.

You can open this PR in browser to add release notes: open in github.dev

Change path	Release notes path	Description
src/FSharp.Core	docs/release-notes/.FSharp.Core/10.0.100.md	No release notes found or release notes format is not correct

[T-Gro]

@copilot : Add release notes to the /docs file designated for FSharp.Core release notes going into v 10.