def caps.of.if

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

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

1713def caps.of.if(seed: Bool, +src: U32, +ths: List<&2, Th>, +init: List<&2, Maybe<&2, U32>>) -> List<&2, Maybe<&2, U32>>:
1714  match seed:
1715    case True{}:
1716      init
1717    case False{}:
1718      caps.at(List.get(&2, Th, ths, U32.to_nat(src)), init)

Uses (8)

Used by (1)