~/jendhub

def overlay_nodes.go

near-architecture@0.9.1.0 · arc.bend:232

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

232def overlay_nodes.go(xs: List<&2, Node>) -> Nat:
233  match xs:
234    case []:
235      0n
236    case n <> rest:
237      match n:
238        case Node{_, _, role, _}:
239          Nat.add(one_if(is_overlay(role)), overlay_nodes.go(rest))

Uses (6)

Used by (1)