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 640–653

placementCollisionCount

Full file
640def placementCollisionCount =
641  (lambda unrestricted placements : (family Placements) .
642    (eliminate
643      Placements
644      (lambda unrestricted current : (family Placements) . Nat)
645      placements
646      (branch PlacementsEnd . zero)
647      (branch
648        PlacementsNext
649        head
650        tail
651        ih_tail
652        .
653        (naturalAdd (placementCollisionCountWith head tail) ih_tail))))

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.