def all_rust.go
import near-architecture@0.9.1.0/arc.bend as Arcimport Base
665def all_rust.go(xs: List<&2, Part>, +s: System) -> Bool:
666 match xs:
667 case []:
668 True{}
669 case p <> rest:
670 rust_ok(p, s) && all_rust.go(rest, s)