def cd.fin

bend-kit-archive@0.5.1.0 · archive.bend:116

import bend-kit-archive@0.5.1.0/archive.bend as Archive
import 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)

Uses (9)

Used by (1)