~/jendhub

def climb

ezx@1.11.0.0 · src/pkg/pkg.bend:1122

import ezx@1.11.0.0/src/pkg/pkg.bend as Pkg
import Base

1122# the deepest climb any file of the package makes
1123def climb(fs: List<&2, Hit>) -> Nat:
1124  match fs:
1125    case []:
1126      0n
1127    case h <> t:
1128      Nat.max(hit.ups(h), climb(t))

Uses (5)

Used by (1)