def captured

bendvy-ecs-core@0.1.0.4 · restored_row.bend:15

import Base
import captured_column.bend as K

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