def identity
bendvy-ecs-core@0.1.0.4 · ordinary_component_binding.bend:16
import bendvy-ecs-core@0.1.0.4/ordinary_component_binding.bend as OrdinaryComponentBinding
import Base
import bendvy-ecs-core@0.1.0.4/ordinary_declaration.bend as Identity
import bendvy-ecs-core@0.1.0.4/column.bend as Col
16
17
18def identity(~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,binding:Binding<S,Store,Rest,P,V,Token,take,put,view>) -> Identity.Declaration<S,P>:
19 match binding:
20 case Binding{identity,_}:identity