def wf.aot

emerging-eztoml@0.9.0.0 · main.bend:6305

import Base

6305# an element of an array of tables, at the array's path
6306def wf.aot(at: WfAt, +path: String, more: Unit -> Bool) -> Bool:
6307  match at:
6308    case WfElems{here}:
6309      wf.then(str.eq(path, here), more)
6310    case _:
6311      False{}