Arc.shared_hosting_ok: def of near-architecture@0.9.1.0
Import: import near-architecture@0.9.1.0/arc.bend as Arc
Lines 638-642 of near-architecture@0.9.1.0/arc.bend: https://jend.leeeet.dev/read.txt?path=near-architecture@0.9.1.0/arc.bend&start_line=638&end_line=642

import Base

# A data API may also host the app only while it is private.
def shared_hosting_ok(c: Container) -> Bool:
  match c:
    case Container{_, _, kind, _, _, +exposure, +cs, _, _, _, _, _}:
      Bool.not(Nat.is_gt(count_in(Hosting{}, cs), 0n) && is_data_api(kind)) || is_tailnet(exposure) || is_local(exposure)

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.is_gt
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=Cap
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=Container
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=count_in
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=is_data_api
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=is_local
  https://jend.leeeet.dev/definition.txt?path=near-architecture@0.9.1.0/arc.bend&name=is_tailnet