def wf.pair

emerging-eztoml@0.9.0.0 · main.bend:6313

import Base

6313# a pair of any other value, in a table's or an inline table's rows
6314def wf.pair(at: WfAt, +name: String, +rest: List<&2, Val>, ok: Bool, more: Unit -> Bool) -> Bool:
6315  match at:
6316    case WfRows{_here}:
6317      wf.then(Bool.and(ok, wf.key(name, rest)), more)
6318    case WfInl{}:
6319      wf.then(Bool.and(ok, wf.key(name, rest)), more)
6320    case _:
6321      False{}