def n16.count

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

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

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

103def n16.count(xs: List<&1, Bytes.Bytes>) -> List<&1, Bytes.Bytes> & U32:
104  match xs:
105    case Nil{}:
106      (Nil{}, 0)
107    case Con{h, t}:
108      n16.con(h, n16.count(t))

Uses (6)

Used by (1)

bend-kit-postgres@0.3.0.0/codec:n16