~/jendhub

def requirement

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

import bendvy-ecs-core@0.1.0.4/ordinary_service_request.bend as OrdinaryServiceRequest
import Base
import bendvy-ecs-core@0.1.0.4/schedule_provision.bend as Provision

27def requirement(~S:Data,~Input:Type,~Output:Type,identity:Identity<S,Input,Output>) -> Provision.Requirement<S>:
28  match identity:
29    case Identity{id,_}:Provision.Service{id}

Uses (2)

Used by (1)