A.B vs A__B in dune naming conventions

Learning
1

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 Lib.Mod or Lib__Mod.

Is there a special use for this __ notation which looks like a redundant synonym of . in this context?

2

The __ notation is an implementation detail of “wrapped” libraries by Dune and is not meant to be used by the programmer.

Cheers,
Nicolas

2 Likes