def leaf

bendvy-ecs-core@0.1.0.4 · ordinary_component_clear_declaration.bend:14

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/column.bend as Col
import bendvy-ecs-core@0.1.0.4/ordinary_declaration.bend as Identity
import bendvy-ecs-core@0.1.0.4/ordinary_component_binding.bend as Binding
import bendvy-ecs-core@0.1.0.4/ordinary_component_despawn.bend as Clear

14def leaf(~S:Data,~Store:Type,~Rest:Type,~P:Type,~V:Data,~Token:Data,~take:Store -> Rest & Col.Column<S,P>,~put:Rest -> Col.Column<S,P> -> Store,~view:P -> P & V,~E:Data,~inject:Identity.Declaration<S,P> -> W.Handle<S> -> E,~binding:Binding.Binding<S,Store,Rest,P,V,Token,take,put,view>) -> Declaration<S,Store,E,Clear.leaf(~S,~Store,~Rest,~P,~V,~Token,~take,~put,~view,~E,~inject,~binding)>:
15  Declaration{[Identity.key(~S,~P,Binding.identity(~S,~Store,~Rest,~P,~V,~Token,~take,~put,~view,binding))]}