def requirement

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

import Base
import bendvy-ecs-core@0.1.0.4/schedule_provision.bend as SP

31# Derive the service-id requirement from this operational declaration.
32def requirement(~S:Data,~R:Type,~P:Type,~Rest:Type,~take:R -> Rest & Slot<P>,~put:Rest -> Slot<P> -> R,~call:P -> P,value:Declaration<S,R,P,Rest,take,put,call>) -> SP.Requirement<S>:
33  match value:
34    case Declaration{id,_}:SP.Service{id}