def cd.fin
import bend-kit-archive@0.5.1.0/archive.bend as Archiveimport Base
116def cd.fin(res: Result<&1, &1, U32 & String, U32 & List<&2, Header>>, +end: U32) -> Result<&1, &1, U32 & String, List<&2, Header>>:
117 match res:
118 case Fail{e}:
119 Fail{e}
120 case Done{(+p, acc)}:
121 cd.fin.end(U32.is_eq(p, end), acc)