When accessing a static member in F # you need to use the fully qualified name (including the type name). The F # compiler does not automatically look for static members of the current class.
The following should work:
type A() = static member B() = () static member B(x) = AB()
source share