def entry

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

import Base
import bendvy-ecs-core@0.1.0.4/schema_fragments.bend as Fragment

35# Derive Service schema metadata from the declaration key; not a separate grant.
36def entry(~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>) -> Fragment.Entry<S>:
37  match value:
38    case Declaration{_,+key}:Fragment.Entry{Fragment.Service{},key,key}