drscheme:language:text/pos-end in DrScheme Tools Functions
(drscheme:language:text/pos-end-> number?text/pos)
text/pos: drscheme:language:text/pos?Selects the ending position from a text/pos.
drscheme:language:text/pos-end in DrScheme Tools Functions
(drscheme:language:text/pos-end -> number?
text/pos)
text/pos : drscheme:language:text/pos?
Selects the ending position from a text/pos.