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

import Base

# an array of tables. Its elements are headers
def render.aots(
  tabs: Bool,
  elems: List<&2, Val>,
  tail: List<&2, Val>,
  gap: String,
  trail: Bool,
  nest: Unit -> String,
  rest: Unit -> String
) -> String:
  match tabs:
    case False{}:
      render.skip("", elems, tail, gap, trail, nest, rest)
    case True{}:
      render.use(elems, 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