Agda-2.3.2.2: test/succeed/Issue481PonderImportMe.agda

open import Issue481PonderBase using (List)

module Issue481PonderImportMe (as bs : List) where