def restored

bendvy-ecs-core@0.1.0.4 · recoverable_array_owner.bend:10

import Base
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product
import bendvy-ecs-core@0.1.0.4/recoverable_array.bend as A
import bendvy-ecs-core@0.1.0.4/recoverable_owner.bend as Owner

10def restored(~State:Type,~P:Type,~Rest:Type,~lens:Product.Lens<State,Array<P>,Rest>,~Recovery:Type,~ReleasedRest:Type,~release:Product.Lens<Recovery,List<A.Record<P>>,ReleasedRest>,rest:Rest,recovery:Recovery,result:Array<P> & A.Record<P>) -> State & Recovery:
11  match result:
12    case (array,replacement):(Product.put_field(~State,~Array<P>,~Rest,lens)(rest,array),Owner.append(~Recovery,~A.Record<P>,~ReleasedRest,~release,recovery,replacement))