def single

bendvy-ecs-core@0.1.0.4 · ordinary_service_declaration.bend:59

import Base

59# Build one service inventory/availability scan from its retained declaration.
60def single(~S:Data,~C:Type,~R:Type,~E:Data,~P:Type,~Rest:Type,~take:R -> Rest & Slot<P>,~put:Rest -> Slot<P> -> R,~call:P -> P,~declaration:Declaration<S,R,P,Rest,take,put,call>) -> Setup<S,C,R,E,world_observed(~S,~C,~R,~E,~P,~Rest,~take,~put,~call,declaration)>:
61  Setup{[entry(~S,~R,~P,~Rest,~take,~put,~call,declaration)]}