Cli.linted_found: def of cli@0.2.0.0 Import: import cli@0.2.0.0/cli.bend as Cli Lines 7706-7710 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=7706&end_line=7710 import Base def linted_found(found: List<&2, Problem>, c: Cmd) -> Result<&2, &2, List<&2, Problem>, Linted>: match found: case Nil{}: Done{Linted{c}} case p <> tail: Fail{p <> tail} Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Cmd https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Linted https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Problem