Arc.well_formed: def of near-architecture@0.9.1.0
Import: import near-architecture@0.9.1.0/arc.bend as Arc
Lines 383-390 of near-architecture@0.9.1.0/arc.bend: https://jend.leeeet.dev/read.txt?path=near-architecture@0.9.1.0/arc.bend&start_line=383&end_line=390

import Base

# The system is well formed: node keys and container/part keys are unique, every container is on
# a node, every part in a container, and every link joins two things that exist.
def well_formed(+s: System) -> Bool:
  distinct_keys(nkeys(nodes(s))) && distinct_keys(keys(s)) &&
  all_in(container_ons(containers(s)), nkeys(nodes(s))) &&
  all_in(part_ins(parts(s)), ckeys(containers(s))) &&
  all_in(part_ons(parts(s)), nkeys(nodes(s))) &&
  all_in(link_ends(links(s)), keys(s))

Uses (16):
  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-architecture@0.9.1.0/arc.bend&name=System
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=all_in
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=ckeys
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=container_ons
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=containers
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=distinct_keys
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=keys
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=link_ends
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=links
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=nkeys
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=nodes
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=part_ins
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=part_ons
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=parts