lengt of indentation, can be negative (in rare cases, with deeply nested terms with no newlines).
Until which token does this indentation stay?
If Right, then expires when expire is curr.right, otherwise curr.left in BestFirstSearch.
Until which token does this indentation stay?
If Right, then expires when expire is curr.right, otherwise curr.left in BestFirstSearch.
lengt of indentation, can be negative (in rare cases, with deeply nested terms with no newlines).
One layer of indentation, created by an opening (, {, etc.
Indent is parameterized by some Length to allow splits from Router to be memoized. If the length field was int, we would have to eagerly evaluate the indentation for state columns, which may be different depending on the formatting we choose.
Can be a known number Num (used in State) or unknown integer StateColumn (used in Split).
lengt of indentation, can be negative (in rare cases, with deeply nested terms with no newlines).
Until which token does this indentation stay?
If Right, then expires when expire is curr.right, otherwise curr.left in BestFirstSearch.