def wf.head

emerging-eztoml@0.9.0.0 · main.bend:6281

import Base

6281# a table as a pair's value, in a table's rows, at the path its name gives
6282def wf.head(at: WfAt, +name: String, +path: String, +rest: List<&2, Val>, more: Unit -> Bool) -> Bool:
6283  match at:
6284    case WfRows{+here}:
6285      wf.then(Bool.and(wf.key(name, rest), str.eq(path, tree.pre(here, name))), more)
6286    case _:
6287      False{}