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?

A.B vs A__B in dune naming conventions

nojb November 4, 2022, 8:15am 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

Topic		Replies	Views
Dune: using the same name for a library and its main module without breaking auto wrapping Ecosystem dune	7	1727	October 29, 2018
Newbie dune question Learning dune	5	101	March 24, 2025
Dependency problem with dune Ecosystem dune	1	942	September 22, 2022
Upcoming Dune Feature: (include_subdirs qualified) Community dune	42	3253	January 27, 2023
Displaying module aliases in the toplevel Learning dune , toplevel	1	471	December 30, 2022