F# 记录的字段声明为私有时出现奇怪的可访问范围

我刚刚注意到，当 F# 记录的字段部分被声明为私有时，出现了相当违反直觉的行为。 （这与是否可以将记录的字段设为私有？或者将记录成员设置为私有？ https://stackoverflow.com/questions/12389308/is-it-possible-to-make-a-field-of-a-record-private-or-to-make-a-member-of-recor/12389894#12389894)

在这个例子中...

type MyRec = 
    private  // Fields declared private, or at least I thought so.
        { a : int
          b : int }
    member x.A = x.a
    member private x.Both = x.a + x.b
    static member CreateMyRec(a, b) = { a = a; b = b }

let foo = MyRec.CreateMyRec(1,2)
let bar = foo.a     // No error. Huh?
let baz = foo.Both  // Error: not accessible.

...私人成员Both正如预期的那样，在类型声明范围之外是不可访问的。然而，该领域a是可以访问的。

如果将 MyRec 放入模块中，这些字段将变为该模块的私有字段。这就是您期望模块中顶级声明的行为方式，但我期望类型中声明为私有的任何内容对于该类型来说都是私有的，而不是其封闭模块的私有的。

这种行为真的很奇怪吗，还是我在这里的推理中遗漏了一些东西？

据我所知，这是一个记录不足的功能。但是，规范第 10.5 节，辅助功能注释 http://research.microsoft.com/en-us/um/cambridge/projects/fsharp/manual/spec.html#_Toc335818992， 状态：

类型、模块或模块中的类型表示上的 private 意味着“模块私有”。

“类型表示”是与记录字段相关的部分。