Agda-2.3.2.2: test/fail/AmbiguousTopLevelModuleName.agda

module AmbiguousTopLevelModuleName where

import Imports.Ambiguous