Function pruneSymbols

src/tools/context-tree.ts:96–99

(node: TreeNode)

}

function pruneSymbols(node: TreeNode): void {
  node.symbols = undefined;
  for (const child of node.children) pruneSymbols(child);
}

function pruneHeaders(node: TreeNode): void {
  node.header = undefined;