EmergingEztoml.tree.sub.look: def of emerging-eztoml@0.9.0.0
Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
Lines 2354-2380 of emerging-eztoml@0.9.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=emerging-eztoml@0.9.0.0/main.bend&start_line=2354&end_line=2380

import Base

# descend into one key, or record why it cannot be entered
def tree.sub.look(
  hit: Look,
  +name: String,
  +vs: List<&2, Val>,
  +job: Job,
  stack: List<&2, Fr>,
  +pre: String,
  heads: List<&2, String>,
  +inl: Bool,
  +mark: Bool
) -> Tw:
  match hit:
    case KMiss{}:
      Tw{[], job, FrNew{name, vs, tree.pre(pre, name)} <> stack, "",
        tree.pre(pre, name), heads.define(tree.sub.job(mark, job), tree.pre(pre, name),
          heads), inl}
    case KHead{path, rows}:
      tree.sub.head(tree.sub.dot(tree.sub.job(mark, job)), path, rows, name, vs, job,
        stack, pre, heads, inl, mark)
    case KInl{}:
      Tw{vs, job, stack, "inline table is closed", pre, heads, inl}
    case KAots{path, elems}:
      tree.sub.arr(tree.sub.dot(tree.sub.job(mark, job)), path, elems, name, vs, job,
        stack, pre, heads, inl)
    case KNo{why}:
      Tw{vs, job, stack, why, pre, heads, inl}

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Fr
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Job
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Look
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Tw
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Val
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=heads.define
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=tree.pre
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=tree.sub.arr
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=tree.sub.dot
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=tree.sub.head
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=tree.sub.job