def dc.data

bend-kit-http@0.38.2.0 · http.bend:502

import bend-kit-http@0.38.2.0/http.bend as Http

import Base

502# k data bytes are left and m of them were just read.
503def dc.data(+k: U32, +m: U32) -> Dc:
504  Bool.pick(Dc, U32.is_le(k, m), DcDataCr{}, DcData{(k - m : U32)})

Uses (5)

Used by (3)