text-index-map

Vocabulary

ui.text.index-maps

Definition

IN: ui.text.index-maps

TUPLE: text-index-map positions native-ends extras ;