Module module_name_conflict

nominal_api::module

Module module_name_conflict 

Source

Structsยง

Builder
A builder for ModuleNameConflict
Complete
The final stage for ModuleNameConflict.
ModuleNameConflict
A module with the given name already exists in the current workspace.
ModuleNameStage
The module_name stage for Builder.