def ObservedRows

bendvy-ecs-core@0.1.0.4 · ordinary_app_machine.bend:80

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_app_observation_data.bend as DTO
import bendvy-ecs-core@0.1.0.4/machine.bend as M

80# Type spelling and snapshot assembly are generated by the operational library.
81# Advanced detached row type: prior observation paired with current machine view.
82def ObservedRows(~S:Data,~K:Data,~V:Data,~Rows:Data) -> Data:
83  DTO.Product<Rows,M.CurrentView<S,K,V>>