def product

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

import bendvy-ecs-core@0.1.0.4/ordinary_component_clear_declaration.bend as OrdinaryComponentClearDeclaration
import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W

18def product(~S:Data,~Store:Type,~E:Data,~left:Store -> W.Handle<S> -> Store & List<&2,E>,~right:Store -> W.Handle<S> -> Store & List<&2,E>,~leftDeclaration:Declaration<S,Store,E,left>,~rightDeclaration:Declaration<S,Store,E,right>) -> Declaration<S,Store,E,product_clear(~S,~Store,~E,~left,~right)>:
19  Declaration{List.append(&2,String,keys(~S,~Store,~E,~left,leftDeclaration),keys(~S,~Store,~E,~right,rightDeclaration))}

Uses (8)

Used by (0)

No other definition uses this definition.