Plan.name.length: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/pub/plan.bend as Plan
Lines 40-43 of ezx@1.13.0.0/src/pub/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/pub/plan.bend&start_line=40&end_line=43

import Base

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

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat