~/jendhub

def exposure_follows_reach.go

near-architecture@0.9.1.0 · arc.bend:504

import near-architecture@0.9.1.0/arc.bend as Arc
import Base

504def exposure_follows_reach.go(xs: List<&2, Container>, +s: System) -> Bool:
505  match xs:
506    case []:
507      True{}
508    case +c <> rest:
509      (Bool.not(is_server(role_of(ckey(c), s))) ||
510        exposure_for_reach(c, device_reaches(ckey(c), links(s), s))) &&
511        exposure_follows_reach.go(rest, s)

Uses (13)

Used by (1)