Ops.serve_ports_distinct: def of near-v-framework@0.4.0.0
Import: import near-v-framework@0.4.0.0/domain/architecture/system/deployment/nix_darwin/ops.bend as Ops
Lines 116-118 of near-v-framework@0.4.0.0/domain/architecture/system/deployment/nix_darwin/ops.bend: https://jend.leeeet.dev/read.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/nix_darwin/ops.bend&start_line=116&end_line=118

import Base
import near-v-framework@0.4.0.0/domain/architecture/system/deployment/nix_darwin/type.bend as ND

# No two serves share a tailnet HTTPS port.
def serve_ports_distinct(nd: ND.NixDarwin) -> Bool:
  distinct(https_ports(serves(nd)))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/nix_darwin/ops.bend&name=distinct
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/nix_darwin/ops.bend&name=https_ports
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/nix_darwin/ops.bend&name=serves
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/deployment/nix_darwin/type.bend&name=NixDarwin