destring (English, verb)
expansion: destring (third-person singular simple present destrings, present participle destringing, simple past and past participle destringed)
Senses:
glosses: to remove hard fibers or strings from something soft
tags: transitive
topics: computing
engineering
mathematics
natural-sciences
physical-sciences
sciences
glosses: to convert a variable that is of a string type to some other, usually numeric data type
tags: transitive
Forms:
form: destrings
tags: present
singular
third-person
form: destringing
tags: participle
present
form: destringed
tags: participle
past
form: destringed
tags: past