MlbendSplit.largest_of: def of mlbend-split@0.1.1.0
Import: import mlbend-split@0.1.1.0/main.bend as MlbendSplit
Lines 73-79 of mlbend-split@0.1.1.0/main.bend: https://jend.leeeet.dev/read.txt?path=mlbend-split@0.1.1.0/main.bend&start_line=73&end_line=79

import Base

# The largest label of the labels.
def largest_of(labels: List<&2, Nat>, +acc: Nat) -> Nat:
  match labels:
    case Nil{}:
      acc
    case Con{+h, t}:
      largest_of(t, Bool.pick(Nat, Nat.is_gt(h, acc), h, acc))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_gt