~/jendhub

def empty_fold

bendvy-ecs-core@0.1.0.4 · ordinary_app_relation_system.bend:27

import bendvy-ecs-core@0.1.0.4/ordinary_app_relation_system.bend as OrdinaryAppRelationSystem
import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/relation_failure_reader.bend as Ord
import bendvy-ecs-core@0.1.0.4/ordinary_app_registration_fields.bend as Fields

27def empty_fold(~S:Data,~C:Type,~R:Type,~E:Data,~declaration:Ord.Declaration<S>,~target:W.Handle<S>,owner:Owner(~S,~C,~R,~E,~declaration,~target)) -> Owner(~S,~C,~R,~E,~declaration,~target) & List<&2,Fields.Fields<S>>:
28  (owner,[])

Uses (7)

Used by (7)