def saves.put

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

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

import Base

1723def saves.put(xs: List<&2, U32>, caps: List<&2, Maybe<&2, U32>>, +pos: U32) -> List<&2, Maybe<&2, U32>>:
1724  match xs:
1725    case Nil{}:
1726      caps
1727    case Con{+k, t}:
1728      saves.put(t, List.set(&2, Maybe<&2, U32>, caps, U32.to_nat(k), Some{pos}), pos)

Uses (5)

Used by (2)