Agda-2.3.2.2: test/succeed/Issue117.agda

module Issue117 where

Set′ = Set

record ⊤ : Set′ where
data   ⊥ : Set′ where