Toml.has.table: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/toml/toml.bend as Toml
Lines 255-261 of ezx@1.11.0.0/src/toml/toml.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/toml/toml.bend&start_line=255&end_line=261

import Base
import emerging-eztoml@0.9.0.0/main.bend as E

# whether a table's rows hold a table, stopping at the first
def has.table(rows: List<&2, E.Val>) -> Bool:
  match rows:
    case []:
      False{}
    case hd <> tl:
      has.table.step(row.table(hd), _u => has.table(tl))

Uses (5):
  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=emerging-eztoml@0.9.0.0/main.bend&name=Val
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/toml/toml.bend&name=has.table.step
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/toml/toml.bend&name=row.table