~/jendhub

def fresh

near-v-framework@0.4.0.0 · domain/architecture/system/deployment/nix_darwin/ops.bend:97

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

97# ---- laws of a system with this node ----
98# 0 is not a port.
99def fresh(+p: U32, ps: List<&2, U32>) -> Bool:
100  U32.is_eq(p, 0) || Bool.not(List.contains(~U32, ~U32.is_eq, ps, p))

Uses (7)

Used by (1)