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 407–417

resourceLeaseKnown

Full file
407def resourceLeaseKnown =
408  (lambda unrestricted graph : (family ResourceGraph) .
409    (lambda unrestricted lease : (family ResourceLease) .
410      (naturalNonzero
411        (resourceCount
412          (family ResourceDomain)
413          (lambda unrestricted domain : (family ResourceDomain) .
414            (naturalAnd
415              (naturalEqual (resourceDomainId domain) (resourceLeaseDomain lease))
416              (naturalAnd (resourceDomainKnown domain) 1)))
417          (resourceGraphDomains 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.