Agda-2.3.2.2: test/succeed/Issue262.agda

-- Qualified imported constructors
module Issue262 where

open import Common.Prelude

z = Nat.zero