Where is `List.map` defined?

Question

I've been looking for the implementation of List.map in F#. The code in list.fs in dotnet/fsharp on GitHub delegates to a mysterious Microsoft.FSharp.Primitives.Basics.List.map function.

Where is the source of that function? I can't find any such directory path in the repo.

Answer 1

I think this is it:

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