~/jendhub

def n16.go

bend-kit-postgres@0.3.0.0 · codec.bend:357

import bend-kit-postgres@0.3.0.0/codec.bend as Codec
import Base

357def n16.go(~A: Type, ~item: Cur -> Cur & A, zero: Bool, +k: U32, c: Cur) -> Cur & List<&1, A>:
358  match zero:
359    case True{}:
360      (c, Nil{})
361    case False{}:
362      many(~A, ~item, U32.to_nat((k - 1 : U32)), item(c), Nil{})

Uses (9)

Used by (1)