def name.one

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

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

127# a name with the hash the table gives it, or nothing when it gives none
128def name.one(+nv: String, +hash: String) -> List<&2, Name>:
129  Bool.pick(List<&2, Name>, String.is_empty(hash), [], [Name{nv, hash}])

Uses (5)

Used by (1)