Agda-2.3.2.2: test/epic/Prelude/Unit.agda

module Prelude.Unit where

data Unit : Set where
  unit : Unit

{-# COMPILED_DATA Unit () () #-}