def all_rust.go

near-architecture@0.9.1.0 · arc.bend:665

import near-architecture@0.9.1.0/arc.bend as Arc
import 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)

Uses (6)

Used by (1)