A context tree contains contexts that are indexed by positions.
Insert a context with non-transparent position cpos
at correct position into a buffer of context trees.
Insert a context at correct position into a buffer of context trees.
Insert a context at correct position into a buffer of context trees.
If the context
has a transparent position, add it multiple times
at the positions of all its solid descendant trees.
Optionally returns the smallest context that contains given pos
, or None if none exists.
(contextTrees: StringAdd).self
(contextTrees: StringFormat).self
(contextTrees: ArrowAssoc[ContextTrees]).x
(Since version 2.10.0) Use leftOfArrow
instead
(contextTrees: Ensuring[ContextTrees]).x
(Since version 2.10.0) Use resultOfEnsuring
instead