def inventory_optional

bendvy-ecs-core@0.1.0.4 · event_family_runtime.bend:58

import Base
import bendvy-ecs-core@0.1.0.4/event_family_routing.bend as Route

58def inventory_optional(~S:Data,~C:Type,~R:Type,~P:Data,~F:Type,~H:Type,returned:Route.Runtime<S,C,R,P,State<P,F,H>> & List<&2,String>) -> Route.Runtime<S,C,R,P,State<P,F,H>> & Maybe<&2,List<&2,String>>:
59  match returned:
60    case (runtime,names):(runtime,Some{names})