def rv.eof
import bend-kit-http@0.38.2.0/http.bend as Httpimport Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
1438def rv.eof(res: Res, parts: List<&1, Bytes.Bytes>, ok: Bool) -> Rt:
1439 match ok:
1440 case True{}:
1441 rv.done(res, parts, None{})
1442 case False{}:
1443 RtBad{}