Ops.components_published: def of near-v-framework@0.4.0.0
Import: import near-v-framework@0.4.0.0/domain/architecture/system/ops.bend as Ops
Lines 12-17 of near-v-framework@0.4.0.0/domain/architecture/system/ops.bend: https://jend.leeeet.dev/read.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/ops.bend&start_line=12&end_line=17

import Base
import near-v-framework@0.4.0.0/domain/architecture/system/type.bend as S
import near-v-framework@0.4.0.0/domain/architecture/system/release/ops.bend as RlO
import near-v-framework@0.4.0.0/domain/architecture/ops.bend as O

# Everything the system is made of ships in a declared package or plugin: what is not published cannot
# be used.
def components_published(+s: S.System) -> Bool:
  match s:
    case S.System{_, _, _, cs, _, +r}:
      O.all_listed(O.all_component_keys(cs), List.append(&2, String, RlO.shipped_components(RlO.packages(r)), RlO.plugin_components(RlO.plugins(r))))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&name=all_component_keys
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&name=all_listed
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/release/ops.bend&name=packages
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/release/ops.bend&name=plugin_components
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/release/ops.bend&name=plugins
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/release/ops.bend&name=shipped_components
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/type.bend&name=System