Agda-2.3.2.2: test/interaction/SetInf.agda

{-# OPTIONS --universe-polymorphism #-}

module SetInf where

id : ∀ {A} → A → A
id x = x