def nonzero

import cli@0.2.0.0/cli.bend as Cli

import Base

7829# first, unless it is 0.
7830def nonzero(first: Nat, then: Nat) -> Nat:
7831  match first:
7832    case 0n: then
7833    case 1n+p: 1n+p

Uses (1)

Used by (1)

cli@0.2.0.0/cli:probe