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 235–249

resourceLinkValid

Full file
235def resourceLinkValid =
236  (lambda unrestricted graph : (family ResourceGraph) .
237    (lambda unrestricted link : (family ResourceLink) .
238      (naturalAnd
239        (naturalLessOrEqual (resourceLinkId link) resourceWordLimit)
240        (naturalAnd
241          (naturalNonzero (bytes-length (resourceLinkRealization link)))
242          (naturalAnd
243            (resourceHasEndpoint graph (resourceLinkSource link))
244            (naturalAnd
245              (resourceHasEndpoint graph (resourceLinkDestination link))
246              (naturalAnd
247                (naturalIsZero
248                  (naturalEqual (resourceLinkSource link) (resourceLinkDestination link)))
249                (naturalAnd (resourceFactValid (resourceLinkEnvelope link)) 1))))))))

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.