agda-unused-0.1.0: data/test/declaration/Import.agda

module Import where

import Agda.Builtin.Unit
  using (⊤; tt)
import Agda.Builtin.Bool

A
  : Set
A
  = Agda.Builtin.Unit.⊤