def resource_read_provision
bendvy-ecs-core@0.1.0.3 · execution_builder.bend:152
import bendvy-ecs-core@0.1.0.3/execution_builder.bend as ExecutionBuilder
import Base
import bendvy-ecs-core@0.1.0.3/execution_state.bend as State
152def resource_read_provision(~S:Data,~C:Type,~R:Type,~Ops:Type -> Type,~selection:ResourceReadSelection(~S,~C,~R,~State.Scope<S,C,R>,~Book,~Ops),book:Book) -> Book & Ops(State.Scope<S,C,R>):
153 selection(resource_read_build(S,C,R),resource_read_unsupported(~S,~C,~R),failure_read_build(~S,~C,~R),general_failure_read_build(~S,~C,~R),book)