def apply_read_field

bendvy-ecs-core@0.1.0.3 · execution_machine_access.bend:74

import Base
import bendvy-ecs-core@0.1.0.3/execution_machine_state.bend as State

74def apply_read_field(~S:Data,~K:Data,~V:Data,~H:Type,cap:Apply<S,K,V,H>) -> H -> H & State.View<S,K,V>:
75  match cap:
76    case Apply{_,get}:get