~/jendhub

def folded

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

import bendvy-ecs-core@0.1.0.4/ordinary_app_existing_execution.bend as OrdinaryAppExistingExecution
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_app_registration_fields.bend as Fields

15def folded(~S:Data,~O:Type,~Shared:Type,shared:Shared,result:O & Fields.Fields<S>) -> (O & Shared) & List<&2,Fields.Fields<S>>:
16  match result:
17    case (owner,fields):((owner,shared),[fields])

Uses (4)

Used by (1)