def undo_pack

bendvy-ecs-core@0.1.0.3 · bundle_construction.bend:12

import Base
import bundle_pack.bend as B

12def undo_pack(~HR:Type,~HC:Type,~TR:Type,~TC:Type,headUndo:HC -> HR,tailUndo:TC -> TR,cooked:B.Pack<HC,TC>) -> B.Pack<HR,TR>:
13  match cooked:
14    case B.Pack{head,tail}: B.Pack{headUndo(head),tailUndo(tail)}