OwnedFamily.write_split: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/owned_family.bend as OwnedFamily
Lines 100-102 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=100&end_line=102

import Base
import restored_row.bend as R
import lifecycle.bend as L

def write_split(~S:Data,~H:Type,~Rest:Type,~MetaRest:Type,~C:Type,~put:Rest -> R.Cell<S,C> -> H,~header:Rest -> MetaRest & Header<S>,~put_header:MetaRest -> Header<S> -> Rest,~journal:Rest -> Maybe<&1,C> -> L.Stamp -> Rest,~bridge:H -> C -> WriteResult<H,C>,cell:R.Cell<S,C>,incoming:C,observed:MetaRest & Header<S>) -> WriteResult<H,C>:
  match observed:
    case (rest,meta): write_checked(~S,~H,~Rest,~MetaRest,~C,~put,~header,~put_header,~journal,~bridge,rest,cell,incoming,checked(S,meta))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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/lifecycle.bend&name=Stamp
  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=checked
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/owned_family.bend&name=write_checked
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restored_row.bend&name=Cell