module Import where

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

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