def help.max

shake@0.7.0.0 · src/cli.bend:199

import shake@0.7.0.0/src/cli.bend as Cli
import Base

199# the larger of two Nats
200def help.max(+aa: Nat, +bb: Nat) -> Nat:
201  Bool.pick(Nat, Nat.is_le(aa, bb), bb, aa)

Uses (3)

Used by (3)