I’ve noticed that, if in dune some library named
lib uses a module named
mod, in the terminal defined by
dune utop lib I can equivalently write
Is there a special use for this
__ notation which looks like a redundant synonym of
. in this context?