Agda-2.3.2.2: test/interaction/Imports/Nat.hs

module Imports.Nat where

data Nat = Zero | Suc Nat