def sym.ths

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

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

import Base

1606def sym.ths(xs: List<&2, Th>, +slots: Nat, +i: U32) -> List<&2, Th>:
1607  match xs:
1608    case Nil{}:
1609      Nil{}
1610    case Con{Th{pc, caps}, t}:
1611      Th{pc, sym.caps(slots, i)} <> sym.ths(t, slots, (i + 1 : U32))

Uses (6)

Used by (1)

bend-kit-regex@0.8.0.0/regex:learn