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 173–181

resourceDomainAllows

Full file
173def resourceDomainAllows =
174  (lambda unrestricted domain : (family ResourceDomain) .
175    (lambda unrestricted amount : Nat .
176      (eliminate
177        ResourceDomain
178        (lambda unrestricted current : (family ResourceDomain) . Nat)
179        domain
180        (branch ResourceCapacityDomain id name unit fact . (resourceFactAllows fact amount))
181        (branch ResourceRelationDomain id name . 0))))

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.