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

import Base
import bundle_pack.bend as B

def constructed_head(~Ctx:Type,~HR:Type,~HC:Type,~TR:Type,~TC:Type,~Error:Data,~stageTail:Ctx -> TR -> Staged<Ctx,TR,TC,Error>,tail:TR,observed:Ctx & Construction<HR,HC,Error>) -> Staged<Ctx,B.Pack<HR,TR>,B.Pack<HC,TC>,Error>:
  match observed:
    case (ctx,Constructed{head,undo}): constructed_tail(~Ctx,~HR,~HC,~TR,~TC,~Error,head,undo,stageTail(ctx,tail))
    case (ctx,Invalid{head,error}): invalid_tail(~Ctx,~HR,~HC,~TR,~TC,~Error,head,error,stageTail(ctx,tail))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/bundle_construction.bend&name=Construction
  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=constructed_tail
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/bundle_construction.bend&name=invalid_tail
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/bundle_pack.bend&name=Pack