A colleague found the status quo confusing, because it says "the function f below" but there is no normal function definition of f. This MR adds "defined in the Foo constructor record below", which hopefully clarifies matters.
A colleague found the status quo confusing, because it says "the function f below" but there is no normal function definition of f. This MR adds "defined in the Foo constructor record below", which hopefully clarifies matters.