Cli.long_tips: def of cli@0.2.0.0 Import: import cli@0.2.0.0/cli.bend as Cli Lines 5963-5977 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=5963&end_line=5977 import Base # T1, T2 and T3, for E01 on a long; --name=value looks up --name. def long_tips(is_long: Bool, +token: String, root: String, path: List<&2, String>, +items: List<&2, Item>, root_items: List<&2, Item>, here: String) -> List<&2, List<&2, Segment>>: match is_long: case False{}: Nil{} case True{}: +long = before_eq(token) +name = String.drop(long, 2n) List.concat(&2, List<&2, Segment>, [ maybe_tip(owner(path, root_items, root, token, long, None{})), belongs(descendant(items, here, long, None{}), token), sub_exists(find_sub(items, name), name), ]) Uses (15): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.concat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.drop https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Item https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Segment https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=before_eq https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=belongs https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=descendant https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=find_sub https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=maybe_tip https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=owner https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=sub_exists