Cli.fish_shape_arm: def of cli@0.2.0.0 Import: import cli@0.2.0.0/cli.bend as Cli Lines 7086-7093 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=7086&end_line=7093 import Base def fish_shape_arm(shown: Bool, k: Nat, has: Bool, found: Maybe<&2, Slot>) -> List<&2, String>: match shown: case True{}: [String.append(" case ", Nat.show(k)), String.concat([" echo ", Bool.pick(String, has, "1", "0"), " ", slot_shape(found)])] case False{}: [] Uses (11): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool 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=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.show https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.concat https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Slot https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=slot_shape