Up.onward.of: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/up.bend as Up
Lines 361-368 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=361&end_line=368

import Base

def onward.of(answer: Answer) -> Asc:
  match answer:
    case Onward{yes}:
      Asc{yes}
    case Miss{why}:
      AscNo{why}
    case _:
      AscNo{"ez: ancestry was not answered with whether it holds"}

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=Asc