def provided

near-architecture@0.9.1.0 · arc.bend:559

import Base

559# How many containers provide `want`. One tailnet host plus one overlay composes private hosting.
560def provided(want: Cap, +s: System) -> Nat:
561  match want:
562    case PrivateHosting{}:
563      Nat.add(direct(PrivateHosting{}, containers(s)), one_if(Nat.is_eq(tailnet_hosting(s), 1n) && Nat.is_eq(overlay_nodes(s), 1n)))
564    case _:
565      direct(want, containers(s))