def word

bend-kit-time@0.3.0.0 · time.bend:519

import Base

519# One of names, as its index.
520def word(+names: List<&2, String>, p: P) -> Maybe<&2, P>:
521  match p:
522    case P{vs, +s}:
523      +i = index.go(names, String.take(s, 3n), 0)
524      lit.if(U32.is_lt(i, U32.from_nat(List.length(&2, String, names))), Con{i, vs}, String.drop(s, 3n))