Router.best.pick: def of bend-kit-router@0.2.0.0 Import: import bend-kit-router@0.2.0.0/router.bend as Router Lines 302-307 of bend-kit-router@0.2.0.0/router.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-router@0.2.0.0/router.bend&start_line=302&end_line=307 import Base def best.pick(~A: Data, best: Maybe<&2, Path>, candidate: Path) -> Maybe<&2, Path>: match best: case None{}: Some{candidate} case Some{old}: best.compare(~A, candidate, old) Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=bend-kit-router@0.2.0.0/router.bend&name=Path https://jend.leeeet.dev/definition.txt?path=bend-kit-router@0.2.0.0/router.bend&name=best.compare