Even here, I wouldn't refer to a private name in doc comments. The only reason why the editor is not complaining about a private argument name is because it's a positional argument, not a named argument, but even if it's allowed I don't really like using private names in public APIs because it does leak through documentation. I'd rather see:

```
Optional.of(value) : _value = value {
  ...
}
```