def onward.of

ezx@1.11.0.0 · src/lock/up.bend:361

import ezx@1.11.0.0/src/lock/up.bend as Up
import Base

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

Uses (2)

Used by (1)