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 114–122

resourceFactAllows

Full file
114def resourceFactAllows =
115  (lambda unrestricted fact : (family ResourceFact) .
116    (lambda unrestricted amount : Nat .
117      (eliminate
118        ResourceFact
119        (lambda unrestricted current : (family ResourceFact) . Nat)
120        fact
121        (branch ResourceAbsent reason . 0)
122        (branch ResourceEstablished limit reference . (naturalLessOrEqual amount limit)))))

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.