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 624–638

placementCollisionCountWith

Full file
624def placementCollisionCountWith =
625  (lambda unrestricted placement : (family Placement) .
626    (lambda unrestricted others : (family Placements) .
627      (eliminate
628        Placements
629        (lambda unrestricted current : (family Placements) . Nat)
630        others
631        (branch PlacementsEnd . zero)
632        (branch
633          PlacementsNext
634          head
635          tail
636          ih_tail
637          .
638          (naturalAdd (placementCollision placement head) 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.