AlphaGitHub
Source/Packages

Compiler.Planning.Liveness

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

1,458 lines160 declarations54.8 KiBSHA-256 5734e8062a86
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 500–519

placementIsValid

Full file
500def placementIsValid =
501  (lambda unrestricted arenaBytes : ByteCount .
502    (lambda unrestricted placement : (family Placement) .
503      (eliminate
504        Placement
505        (lambda unrestricted current : (family Placement) . Nat)
506        placement
507        (branch
508          PlacementValue
509          lifetime
510          offset
511          capacity
512          .
513          (naturalFlagAnd
514            (lifetimeIsValid lifetime)
515            (naturalFlagAnd
516              (placementAligned placement)
517              (naturalFlagAnd
518                (placementCapacityValid placement)
519                (placementRangeValid arenaBytes placement))))))))

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.