Agda-2.3.2.2: test/interaction/Error-in-imported-module.agda

module Error-in-imported-module where

open import Error-in-imported-module.M