~/jendhub

def ar.best.none

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

import bend-kit-regex@0.8.0.0/regex.bend as Regex
import Base

1915def ar.best.none(no_hit: Bool, old: Array<Th>, +hit: U32, +init: List<&2, Maybe<&2, U32>>, best: Maybe<&2, List<&2, Maybe<&2, U32>>>) -> Array<Th> & Maybe<&2, List<&2, Maybe<&2, U32>>>:
1916  match no_hit:
1917    case True{}:
1918      (old, best)
1919    case False{}:
1920      ar.best.get(ar.src(U32.is_eq((hit - 1 : U32), seed.id()), old, (hit - 1 : U32), init))

Uses (13)

Used by (1)