Ops.host_ok: def of near-v-framework@0.4.0.0
Import: import near-v-framework@0.4.0.0/domain/architecture/ops.bend as Ops
Lines 605-613 of near-v-framework@0.4.0.0/domain/architecture/ops.bend: https://jend.leeeet.dev/read.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&start_line=605&end_line=613

import Base
import near-v-framework@0.4.0.0/domain/architecture/environment/inventory/type.bend as I
import near-v-framework@0.4.0.0/domain/architecture/environment/inventory/ops.bend as InvO
import near-v-framework@0.4.0.0/domain/architecture/system/deployment/host/type.bend as H

# ---- every server and device is the owner's, or on its vendor's cloud ----
def host_ok(h: H.Host, +name: String, +inv: I.Inventory) -> Bool:
  match h:
    case H.Owned{k}:
      InvO.owns(inv, k, name)
    case H.Cloud{p}:
      InvO.cloud_ok(inv, p)
    case H.Other{}:
      False{}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/environment/inventory/ops.bend&name=cloud_ok
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/environment/inventory/ops.bend&name=owns
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/environment/inventory/type.bend&name=Inventory
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/host/type.bend&name=Host