Lock.origin.hash: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/lock.bend as Lock
Lines 322-325 of ezx@1.11.0.0/src/lock/lock.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/lock.bend&start_line=322&end_line=325

import Base

# the hash an origin is recorded under
def origin.hash(known: Origin) -> String:
  Origin{n, _s} = known
  n

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/lock.bend&name=Origin