Qs.cut.at: def of emerging-ezhttp@0.21.0.0 Import: import emerging-ezhttp@0.21.0.0/src/qs.bend as Qs Lines 346-353 of emerging-ezhttp@0.21.0.0/src/qs.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/qs.bend&start_line=346&end_line=353 import Base # one character of the cut: the first `=` ends the text before it def cut.at(+c: Char, t: String, eq: Bool, rest: Unit -> Maybe<&2, Kv()>) -> Maybe<&2, Kv()>: match eq: case True{}: Some{("", t)} case False{}: cut.push(c, rest(Unit{})) Uses (8): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/qs.bend&name=Kv https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/qs.bend&name=cut.push