def caps.of.if
import bend-kit-regex@0.8.0.0/regex.bend as Regeximport 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)