~/jendhub

def name.length

ezx@1.11.0.0 · src/pub/plan.bend:40

import ezx@1.11.0.0/src/pub/plan.bend as Plan
import Base

40# how many characters a `0x` name is written with: the two of the prefix and
41# the thirty-two `pkg/pkg.bend`'s `hash_of` takes off a sha256
42def name.length() -> Nat:
43  34n

Uses (1)

Used by (1)