def second

bendvy-ecs-core@0.1.0.4 · ordinary_app_records.bend:13

import bendvy-ecs-core@0.1.0.4/ordinary_app_records.bend as OrdinaryAppRecords

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_app_registration_fields.bend as Stored

13def second(~S:Data,~Left:Type,~Right:Type,left:Left,before:List<&2,Stored.Fields<S>>,result:Right & List<&2,Stored.Fields<S>>) -> (Left & Right) & List<&2,Stored.Fields<S>>:
14  match result:
15    case (right,after):((left,right),List.append(&2,Stored.Fields<S>,before,after))

Uses (5)

Used by (1)

bendvy-ecs-core@0.1.0.4/ordinary_app_records:first