def help.max
import shake@0.7.0.0/src/cli.bend as Cliimport 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)
import shake@0.7.0.0/src/cli.bend as Cliimport 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)