~/jendhub

def replay.best

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

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

1737def replay.best(none: Bool, +hit: U32, +ths: List<&2, Th>, +init: List<&2, Maybe<&2, U32>>, best: Maybe<&2, List<&2, Maybe<&2, U32>>>) -> Maybe<&2, List<&2, Maybe<&2, U32>>>:
1738  match none:
1739    case True{}:
1740      best
1741    case False{}:
1742      Some{caps.of((hit - 1 : U32), ths, init)}

Uses (7)

Used by (1)