Maxlen is the maximum length of a Leaf node

When concatenating two leaves, if new_length > maxlen, A Concat node is created instead

Its purpose is to limit the depth of the Rope (this improves performance when accessing/iterating).

Property definitions

core :: ropes $ Sys :: maxlen
# Maxlen is the maximum length of a Leaf node
#
# When concatenating two leaves, if `new_length` > `maxlen`,
# A `Concat` node is created instead
#
# Its purpose is to limit the depth of the `Rope` (this
# improves performance when accessing/iterating).
fun maxlen: Int do return 512
lib/core/text/ropes.nit:54,1--61,29