def gather_count

cli@0.2.0.0 · cli.bend:3659

import Base

3659def gather_count(gather: Gather) -> Gather:
3660  match gather:
3661    case Gather{seen, values, count}:
3662      +next = Nat.add(count, 1n)
3663      Gather{True{}, [Nat.show(next)], next}