module

prelude
public import Module.Basic
public import Module.Basic2

/-!
It should not be possible to import conflicting definitions even if as axioms they look identical.
-/