def seed.skip

bend-kit-regex@0.8.0.0 · regex.bend:1136

import Base

1136# No live thread and no match yet: the seed is the only thread, and it dies unless next is in start.
1137def seed.skip(items: List<&2, Th>, best: Maybe<&2, List<&2, Maybe<&2, U32>>>, start: Maybe<&2, List<&2, Inst>>, next: Maybe<&2, Char>) -> Bool:
1138  match items best start next:
1139    case Nil{} None{} Some{sets} None{}:
1140      True{}
1141    case Nil{} None{} Some{sets} Some{Chr{+c}}:
1142      Bool.not(starts(sets, c))
1143    case _ _ _ _:
1144      False{}