`private` is only private to the module, not the struct/class, (In other words, all functions in the same module are all C++ style `friend`s) and so free function in same module work.

It works for all functions that have parameters, `f(a)` and `a.f()` are equivalent.

Yes, but I presume that f() cannot access private members of a.

That's correct.