~/jendhub

def ver.pre

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

import ezx@1.11.0.0/src/git/git.bend as Git
import Base

625def ver.pre(+xs: List<&2, Nat>, ps: Maybe<&2, List<&2, Id>>) -> Ver:
626  match ps:
627    case None{}:
628      No{}
629    case Some{ys}:
630      ver.yes(List.is_empty(&2, Nat, xs), xs, ys)

Uses (7)

Used by (1)