A context tree contains contexts that are indexed by positions.
It satisfies the following properties:
All context come from compiling the same unit.
2. Child contexts have parent contexts in their outer chain.
3. The pos field of a context is the same as context.tree.pos, unless that
position is transparent. In that case, pos equals the position of
one of the solid descendants of context.tree.
4. Children of a context have non-overlapping increasing positions.
5. No context in the tree has a transparent position.
A context tree contains contexts that are indexed by positions. It satisfies the following properties:
pos
field of a context is the same ascontext.tree.pos
, unless that position is transparent. In that case,pos
equals 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.