def restored_tail

bendvy-ecs-core@0.1.0.4 · bundle_install.bend:19

import Base
import bundle_pack.bend as B

19def restored_tail(~World:Type,~H:Type,~HQ:Type,~Tail:Type,~TQ:Type,undoHead:World -> Restore<World,H,HQ>,result:Restore<World,Tail,TQ>) -> Restore<World,B.Pack<H,Tail>,Recovery<World,H,HQ,Tail,TQ>>:
20  match result:
21    case Restored{world,tail}: restored_head(~World,~H,~HQ,~Tail,~TQ,undoHead(world),tail)
22    case Pending{world,tail,error}: Pending{world,TailPending{undoHead,tail},error}