BundleConstruction.undo_pack: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/bundle_construction.bend as BundleConstruction
Lines 12-14 of bendvy-ecs-core@0.1.0.3/bundle_construction.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/bundle_construction.bend&start_line=12&end_line=14

import Base
import bundle_pack.bend as B

def 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>:
  match cooked:
    case B.Pack{head,tail}: B.Pack{headUndo(head),tailUndo(tail)}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/bundle_pack.bend&name=Pack