def check_provide
bendvy-ecs-core@0.1.0.4 · inspector_machine_projection.bend:27
import bendvy-ecs-core@0.1.0.4/inspector_machine_projection.bend as InspectorMachineProjection
import Base
import check.bend as Check
import machine.bend as M
import capabilities.bend as Cap
27def check_provide(~S:Data,~K:Data,~V:Data,~Store:Type,~R:Type,~E:Data,~take_resource:R -> R & M.Slot<S,K,V>) -> Cap.ValueRead<Check.Frame<S,Store,R,E>,M.CurrentView<S,K,V>>:
28 Cap.ValueRead{check_current(~S,~K,~V,~Store,~R,~E,~take_resource)}