def parts_ours.go
import near-architecture@0.9.1.0/arc.bend as Arcimport Base
681def parts_ours.go(xs: List<&2, Part>, +s: System) -> Bool:
682 match xs:
683 case []:
684 True{}
685 case p <> rest:
686 container_ours(container(pin(p), containers(s))) && parts_ours.go(rest, s)