OwnedFamily.replace_refused: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/owned_family.bend as OwnedFamily
Lines 79-81 of bendvy-ecs-core@0.1.0.4/owned_family.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/owned_family.bend&start_line=79&end_line=81

import Base
import restored_row.bend as R
import world.bend as W

def replace_refused(~S:Data,~H:Type,~Rest:Type,~MetaRest:Type,~C:Type,~put:Rest -> R.Cell<S,C> -> H,~put_header:MetaRest -> Header<S> -> Rest,cell:R.Cell<S,C>,incoming:C,observed:MetaRest & Header<S>) -> WriteResult<H,C>:
  match observed:
    case (rest,header): rejected(~S,~H,~Rest,~MetaRest,~C,~put,~put_header,rest,cell,incoming,W.CapacityExceeded{},header)

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.4/owned_family.bend&name=Header
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owned_family.bend&name=WriteResult
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owned_family.bend&name=rejected
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restored_row.bend&name=Cell
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/world.bend&name=WorldError