Up.checkout.of: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/up.bend as Up
Lines 334-341 of ezx@1.11.0.0/src/lock/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/up.bend&start_line=334&end_line=341

import Base

def checkout.of(answer: Answer) -> Co:
  match answer:
    case Checkout{nar, root, manifest, srcs}:
      Co{nar, root, manifest, srcs}
    case Miss{why}:
      CoNo{why}
    case _:
      CoNo{"ez: a checkout was not answered with one"}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Answer
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Co