RestoredRow.captured: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/restored_row.bend as RestoredRow
Lines 15-18 of bendvy-ecs-core@0.1.0.4/restored_row.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/restored_row.bend&start_line=15&end_line=18

import Base
import captured_column.bend as K

def captured(~S:Data,~C:Type,result:K.Capture<S,C>) -> Cell<S,C>:
  match result:
    case K.Captured{id,owner,stamp,restore}: Taken{id,owner,stamp,False{},restore}
    case K.Unavailable{column}: Untaken{column}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/captured_column.bend&name=Capture
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restored_row.bend&name=Cell