module Import where

import Agda.Builtin.Bool
  as _
open import Agda.Builtin.Nat
  as _
import Agda.Builtin.Unit
  using (⊤; tt)

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