Protected `export`s

Hi @Luciano,

In Daml the granularity of visibility for top-level definitions is limited to “visible only in this module” or “visible to all modules” (and a reminder that the former does not apply to Daml-LF and therefore the ledger API and data-dependencies, see Should runtime/API respect namespace scopes?). This is controlled via the export list at the top of a module. You cannot export something that is only visible to some modules.

2 Likes