Code.from_string.go: def of bendonnect-rpc@0.1.0.0 Import: import bendonnect-rpc@0.1.0.0/src/code.bend as Code Lines 109-114 of bendonnect-rpc@0.1.0.0/src/code.bend: https://jend.leeeet.dev/read.txt?path=bendonnect-rpc@0.1.0.0/src/code.bend&start_line=109&end_line=114 import Base def from_string.go(cs: List<&2, Code>, +s: String) -> Maybe<&2, Code>: match cs: case Nil{}: None{} case Con{+c, rest}: from_string.pick(String.eq(to_string(c), s), c, u => from_string.go(rest, s)) Uses (7): 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=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/code.bend&name=Code https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/code.bend&name=from_string.pick https://jend.leeeet.dev/definition.txt?path=bendonnect-rpc@0.1.0.0/src/code.bend&name=to_string