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 354–367

lifetimesUnique

Full file
354def lifetimesUnique =
355  (lambda unrestricted lifetimes : (family Lifetimes) .
356    (eliminate
357      Lifetimes
358      (lambda unrestricted current : (family Lifetimes) . Nat)
359      lifetimes
360      (branch LifetimesEnd . (succ zero))
361      (branch
362        LifetimesNext
363        head
364        tail
365        ih_tail
366        .
367        (naturalFlagAnd (naturalFlagNot (lifetimeIdOccurs (lifetimeTensorId 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.