Cli.find_as: def of cli@0.2.0.0 Import: import cli@0.2.0.0/cli.bend as Cli Lines 2017-2021 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=2017&end_line=2021 import Base def find_as(attrs: List<&2, Item>) -> Maybe<&2, ValueType>: match attrs: case Nil{}: None{} case As{kind} <> tail: Some{kind} case head <> tail: find_as(tail) Uses (4): 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=cli@0.2.0.0/cli.bend&name=Item https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=ValueType