Agda-2.3.2.2: test/succeed/UnicodeSetIndex.agda

module UnicodeSetIndex where

X : Set₁₄₀
X = Set₁₃₉