def end.pax

bend-kit-tar@0.3.0.0 · tar.bend:494

import Base

494# Two zero blocks are required and no local PAX records may remain pending.
495def end.pax(pax: Pax, acc: List<&1, Entry>) -> St:
496  Pax{p, s} = pax
497  match p s:
498    case None{} None{}:
499      SOk{List.reverse(&1, Entry, acc)}
500    case _ _:
501      SFail{}