type Declaration

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

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_service_declaration.bend as Service

15type Declaration<-S:Data,-R:Type,-P:Type,-Rest:Type,-Input:Type,-Output:Type,-identity:Identity<S,Input,Output>,-take:R -> Rest & Service.Slot<P>,-put:Rest -> Service.Slot<P> -> R,-call:P -> Input -> P & Output> is Data:
16  Declaration{}