(contextTree: StringAdd).self
(contextTree: StringFormat).self
(contextTree: ArrowAssoc[Global.ContextTree]).x
(Since version 2.10.0) Use leftOfArrow instead
(contextTree: Ensuring[Global.ContextTree]).x
(Since version 2.10.0) Use resultOfEnsuring instead
A context tree contains contexts that are indexed by positions. It satisfies the following properties:
posfield of a context is the same ascontext.tree.pos, unless that position is transparent. In that case,posequals the position of one of the solid descendants ofcontext.tree. 4. Children of a context have non-overlapping increasing positions. 5. No context in the tree has a transparent position.