def inspect

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

import Base
import bendvy-ecs-core@0.1.0.4/machine.bend as M
import bendvy-ecs-core@0.1.0.4/inspector.bend as I
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

37# Build a read-only Inspector capability for this machine current view.
38# Retains the nominal slot lens; the declaration name grants no authority.
39# Does not execute inspection or advance registered system/transition readers.
40def inspect(~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<I.Frame<S,C,R,E>,M.CurrentView<S,Token,V>>:
41  P.provide(~S,~Token,~V,~C,~R,~E,~take)