def checked

bendvy-ecs-core@0.1.0.3 · execution_relation_failure_retention.bend:82

import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/change_tick.bend as Tick

82def checked(~S:Data,~resources:Layout.Layout,complete:Bool,tick:Tick.Tick,program:Program(~S,~resources),owners:Layout.resources(~S,resources)) -> MaintenanceResult<S,resources>:
83  match complete:
84    case False{}:IncompleteCatalogue{owners}
85    case True{}:Maintained{program(tick,owners)}