EmergingEztoml.render.head: def of emerging-eztoml@0.9.0.0
Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
Lines 5860-5876 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=5860&end_line=5876

import Base

# a table header. Direct keys are printed by the other pass
def render.head(
  tabs: Bool,
  path: String,
  rows: List<&2, Val>,
  tail: List<&2, Val>,
  gap: String,
  trail: Bool,
  nest: Unit -> String,
  rest: Unit -> String
) -> String:
  match tabs:
    case False{}:
      render.skip(path, rows, tail, gap, trail, nest, rest)
    case True{}:
      "[" ++ path ++ "]\n" ++ render.use(rows, nest(Unit{})) ++
        render.rest(tail, gap, trail, rest)

Uses (9):
  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=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  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=render.rest
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=render.skip
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=render.use