`List.map` 在哪里定义?

Where is `List.map` defined?

我一直在寻找 List.map 在 F# 中的实现。 code in list.fs in dotnet/fsharp on GitHub 委托给一个神秘的 Microsoft.FSharp.Primitives.Basics.List.map 函数。

那个函数的来源在哪里?我在 repo 中找不到任何这样的目录路径。

我认为this是:

    let map mapping x =
        match x with
        | [] -> []
        | [h] -> [mapping h]
        | h :: t ->
            let cons = freshConsNoTail (mapping h)
            mapToFreshConsTail cons mapping t
            cons