AlphaGitHub
Source/Packages

Compiler.Planning.Resources

packages/compiler/planning/src/Compiler/Planning/Resources.alpha

636 lines34 declarations25.9 KiBSHA-256 773ccd6b9504
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 183–191

resourceHasEndpoint

Full file
183def resourceHasEndpoint =
184  (lambda unrestricted graph : (family ResourceGraph) .
185    (lambda unrestricted id : Nat .
186      (naturalNonzero
187        (resourceCount
188          (family ResourceEndpoint)
189          (lambda unrestricted e : (family ResourceEndpoint) .
190            (naturalEqual id (resourceEndpointId e)))
191          (resourceGraphEndpoints graph)))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.