BundleConstruction.constructed_tail: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/bundle_construction.bend as BundleConstruction
Lines 15-18 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=15&end_line=18

import Base
import bundle_pack.bend as B

def constructed_tail(~Ctx:Type,~HR:Type,~HC:Type,~TR:Type,~TC:Type,~Error:Data,head:HC,headUndo:HC -> HR,tail:Staged<Ctx,TR,TC,Error>) -> Staged<Ctx,B.Pack<HR,TR>,B.Pack<HC,TC>,Error>:
  match tail:
    case Valid{ctx,cooked,undo,positions}: Valid{ctx,B.Pack{head,cooked},p => undo_pack(~HR,~HC,~TR,~TC,headUndo,undo,p),None{} <> positions}
    case Failed{ctx,raw,positions}: Failed{ctx,B.Pack{headUndo(head),raw},None{} <> positions}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/bundle_construction.bend&name=Staged
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/bundle_construction.bend&name=undo_pack
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/bundle_pack.bend&name=Pack