~/jendhub

def pair.names

ezx@1.11.0.0 · src/lock/lock.bend:653

import ezx@1.11.0.0/src/lock/lock.bend as Lock
import Base
import ezx@1.11.0.0/src/toml/toml.bend as T

653# every pair of the `[names]` table, as names
654def pair.names(ps: List<&2, T.Kv>) -> List<&2, Name>:
655  match ps:
656    case []:
657      []
658    case h <> t:
659      pair.name(h) <> pair.names(t)

Uses (4)

Used by (1)