def ver.yes

ezx@1.11.0.0 · src/git/git.bend:618

import Base

618def ver.yes(empty: Bool, xs: List<&2, Nat>, ys: List<&2, Id>) -> Ver:
619  match empty:
620    case True{}:
621      No{}
622    case False{}:
623      Yes{xs, ys}