SentenceBreakProperty

Properties of file SentenceBreakProperty

structure Unicode.SentenceBreakProperty : Type

• name : String
• properties : Array (UInt32 × Option UInt32)

instance Unicode.instToStringSentenceBreakProperty : ToString SentenceBreakProperty

Equations

• Unicode.instToStringSentenceBreakProperty = { toString := fun (s : Unicode.SentenceBreakProperty) => toString s.name ++ toString " " ++ toString s.properties }

def Unicode.SentenceBreakProperty.txt : String

Equations

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

def Unicode.SentenceBreakProperty.data : Array SentenceBreakProperty

Equations

• Unicode.SentenceBreakProperty.data = #[]

def Unicode.rangesOfSentenceBreak (s : String) : Except String (Array (NonemptyInterval Char))

Equations

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