def text.find.at
import ezsys@0.1.0.0/src/str.bend as Strimport Base
191# the needle here, or further on
192def text.find.at(here: Bool, rest: Unit -> Maybe<&2, U32>) -> Maybe<&2, U32>:
193 match here:
194 case True{}:
195 Some{0}
196 case False{}:
197 text.find.inc(rest(Unit{}))