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

import Base

# an array of tables as a pair's value, in a table's rows, at the path its
# name gives, with at least one element
def wf.aots(
  at: WfAt,
  +name: String,
  +path: String,
  some: Bool,
  +rest: List<&2, Val>,
  more: Unit -> Bool
) -> Bool:
  match at:
    case WfRows{+here}:
      wf.then(Bool.and(some, Bool.and(wf.key(name, rest), str.eq(path, tree.pre(here, name)))), more)
    case _:
      False{}

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  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=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=WfAt
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=str.eq
  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=wf.key
  https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=wf.then