module UnicodeSetIndex where

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