def name.valid

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

import Base
import ezx@1.11.0.0/src/pkg/pkg.bend as K

161# a name kept when the hub rules it in and it names a `0x` hash, since that
162# is the only pair bend would read back
163def name.valid(name: Name) -> Bool:
164  Name{+nv, +hash} = name
165  Bool.and(K.name.ok(nv), hash.ok(hash))