def all_honest

near-v-framework@0.4.0.0 · domain/architecture/system/deployment/nix_darwin/ops.bend:173

import Base
import near-v-framework@0.4.0.0/domain/architecture/system/deployment/nix_darwin/type.bend as ND
import near-v-framework@0.4.0.0/domain/architecture/system/container/type.bend as Ct

173def all_honest(cs: List<&2, Ct.Container>, +ss: List<&2, ND.Serve>, +instances: List<&2, String>) -> Bool:
174  match cs:
175    case []:
176      True{}
177    case c <> rest:
178      honest(c, ss, instances) && all_honest(rest, ss, instances)