~/jendhub

def available_next

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

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

77def available_next(~S:Data,provided:Bool,id:U32,rest:List<&2,SP.Requirement<S>>) -> List<&2,SP.Requirement<S>>:
78  match provided:
79    case False{}:rest
80    case True{}:SP.Service{id} <> rest

Uses (4)

Used by (1)