Up.Co: type of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/lock/up.bend as Up
Lines 328-332 of ezx@1.13.0.0/src/lock/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/lock/up.bend&start_line=328&end_line=332

import Base

# a checkout, once it is known
type Co is Data:
  Co{nar: String, root: String, manifest: String, srcs: List<&2, String>}
  CoWait{ask: Ask}
  CoNo{why: String}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/up.bend&name=Ask