Regex.sym.saves: def of bend-kit-regex@0.8.0.0
Import: import bend-kit-regex@0.8.0.0/regex.bend as Regex
Lines 1623-1633 of bend-kit-regex@0.8.0.0/regex.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-regex@0.8.0.0/regex.bend&start_line=1623&end_line=1633

import Base

# The slots before the last that hold a position.
def sym.saves(xs: List<&2, Maybe<&2, U32>>, +k: U32) -> List<&2, U32>:
  match xs:
    case Con{h, Nil{}}:
      Nil{}
    case Con{Some{x}, t}:
      k <> sym.saves(t, (k + 1 : U32))
    case Con{None{}, t}:
      sym.saves(t, (k + 1 : U32))
    case Nil{}:
      Nil{}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add