Cli.sug.keep.rest: def of shake@0.8.0.0 Import: import shake@0.8.0.0/src/cli.bend as Cli Lines 2340-2346 of shake@0.8.0.0/src/cli.bend: https://jend.leeeet.dev/read.txt?path=shake@0.8.0.0/src/cli.bend&start_line=2340&end_line=2346 import Base # a close candidate against the closest one after it: the earlier on a tie def sug.keep.rest(+typed: String, +cc: String, rest: Maybe<&2, String>) -> Maybe<&2, String>: match rest: case None{}: Some{cc} case Some{+ww}: Bool.pick(Maybe<&2, String>, Nat.is_le(osa(typed, cc), osa(typed, ww)), Some{cc}, Some{ww}) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_le https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=shake@0.8.0.0/src/cli.bend&name=osa