Agda-2.3.2.2: test/fail/Unsolved-meta-in-module-application.agda

module Unsolved-meta-in-module-application where

module M (A : Set) where

open M _ public