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.
(Since version 2.10.0) Use leftOfArrow instead
(Since version 2.10.0) Use resultOfEnsuring instead