def condition

bendvy-ecs-core@0.1.0.4 · ordinary_machine_declaration.bend:42

import Base
import bendvy-ecs-core@0.1.0.4/machine.bend as M
import bendvy-ecs-core@0.1.0.4/check.bend as K
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap
import bendvy-ecs-core@0.1.0.4/inspector_machine_projection.bend as P

42# Build a Check capability for this machine current view using the same
43# nominal slot lens. Provides no transition write operations or reader cursor.
44def condition(~S:Data,~Token:Data,~V:Data,~C:Type,~R:Type,~E:Data,~take:R -> R & M.Slot<S,Token,V>,~declaration:Declaration<S,Token,V,R,take>) -> Cap.ValueRead<K.Frame<S,C,R,E>,M.CurrentView<S,Token,V>>:
45  P.check_provide(~S,~Token,~V,~C,~R,~E,~take)