Agda-2.3.2.2: test/succeed/PatternSynonymImports2.agda

module PatternSynonymImports2 where

open import PatternSynonyms
open import PatternSynonymImports

myzero' = z
myzero'' = myzero

list2 : List _
list2 = 1 ∷ []