def wf.aots

emerging-eztoml@0.9.0.0 · main.bend:6289

import Base

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