BundleInstall.installed_head: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/bundle_install.bend as BundleInstall
Lines 32-36 of bendvy-ecs-core@0.1.0.4/bundle_install.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/bundle_install.bend&start_line=32&end_line=36

import Base
import bundle_pack.bend as B

def installed_head(~World:Type,~H:Type,~HQ:Type,~Tail:Type,~TQ:Type,~installTail:World -> Tail -> Attempt<World,Tail,TQ>,result:Attempt<World,H,HQ>,tail:Tail) -> Attempt<World,B.Pack<H,Tail>,Recovery<World,H,HQ,Tail,TQ>>:
  match result:
    case Refused{world,head,error}: Refused{world,B.Pack{head,tail},error}
    case Quarantined{world,head,error}: Quarantined{world,HeadPending{head,tail},error}
    case Installed{world,undo}: installed_tail(~World,~H,~HQ,~Tail,~TQ,undo,installTail(world,tail))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/bundle_install.bend&name=Attempt
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/bundle_install.bend&name=Recovery
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/bundle_install.bend&name=installed_tail
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/bundle_pack.bend&name=Pack