package jane_rope
String representation with cheap concatenation.
Install
Dune Dependency
Authors
Maintainers
Sources
jane_rope-v0.16.0.tar.gz
sha256=d91d3c8c398c9aa723667463e63a9ffc1b569f7efc1266ad735ee506c60b8b73
doc/index.html
jane_rope
API
Library jane_rope
RopeA rope is a standard data structure that represents a single string as a tree of strings, allowing concatenation to do no work up front. See the README.md file for details and motivating examples.
On This Page