OrdinaryAppRecords.second: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_app_records.bend as OrdinaryAppRecords
Lines 13-15 of bendvy-ecs-core@0.1.0.4/ordinary_app_records.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_records.bend&start_line=13&end_line=15

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

def 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>>:
  match result:
    case (right,after):((left,right),List.append(&2,Stored.Fields<S>,before,after))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  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/ordinary_app_registration_fields.bend&name=Fields