Arc.reports_to: def of near-architecture@0.9.1.0
Import: import near-architecture@0.9.1.0/arc.bend as Arc
Lines 591-597 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=591&end_line=597

import Base

# Some link from container `k` (or one of its parts) reaches one of `obs`.
def reports_to(ls: List<&2, Link>, +k: String, +ps: List<&2, Part>, +obs: List<&2, String>) -> Bool:
  match ls:
    case []:
      False{}
    case Link{src, dst, _, _} <> rest:
      (str_eq(k, part_container(ps, src)) && has(dst, obs)) || reports_to(rest, k, ps, obs)

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=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=Link
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=Part
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=has
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=part_container
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=str_eq