def Regex.Unicode.caseFoldRepresentatives : Thunk (Array (Char × Char))

Equations

• Regex.Unicode.caseFoldRepresentatives = { fn := fun (x : Unit) => Regex.Unicode.parseCaseFoldTable✝ Regex.Unicode.caseFoldData✝ }

def Regex.Unicode.getCaseFoldEquivChars (c : Char) : Char × Array Char

Returns the case-fold-equivalent characters for a given character.

The first return value corresponds to the representative character for the equivalence class, and the second return value corresponds to the remaining characters in the equivalence class.

Equations

• One or more equations did not get rendered due to their size.