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

import Base
import near-v-framework@0.4.0.0/domain/architecture/type.bend as A

def well_formed(+a: A.Architecture) -> Bool:
  compound_ok(to_compound(a)) && all_listed(instances(nodes(a)), container_keys(containers(a)))

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=Bool.and
  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/ops.bend&name=compound_ok
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&name=container_keys
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&name=containers
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&name=instances
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&name=nodes
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&name=to_compound
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/type.bend&name=Architecture