def declaration_requirement

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

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_service_declaration.bend as Service
import bendvy-ecs-core@0.1.0.4/schedule_provision.bend as Provision

62def declaration_requirement(~S:Data,~R:Type,~P:Type,~Rest:Type,~Input:Type,~Output:Type,~identity:Identity<S,Input,Output>,~take:R -> Rest & Service.Slot<P>,~put:Rest -> Service.Slot<P> -> R,~call:P -> Input -> P & Output,_: Declaration<S,R,P,Rest,Input,Output,identity,take,put,call>) -> Provision.Requirement<S>:
63  requirement(~S,~Input,~Output,identity)