def names

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

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

661# every name a lock records, in the order its table holds them
662def names(+ss: List<&2, T.Sect>) -> List<&2, Name>:
663  pair.names(names.pairs(ss))

Uses (5)

Used by (2)