Agda-2.3.2.2: test/fail/customised/NestedProjectRoots.agda

module NestedProjectRoots where

import Imports.A