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 234–255

tensorIdEqual

Full file
234def tensorIdEqual =
235  (lambda unrestricted left : (family TensorId) .
236    (lambda unrestricted right : (family TensorId) .
237      (eliminate
238        TensorId
239        (lambda unrestricted current : (family TensorId) . Nat)
240        left
241        (branch
242          TensorIdValue
243          leftWord
244          .
245          (eliminate
246            TensorId
247            (lambda unrestricted current : (family TensorId) . Nat)
248            right
249            (branch
250              TensorIdValue
251              rightWord
252              .
253              (livenessNaturalEqual
254                (modelWord32ToNatural leftWord)
255                (modelWord32ToNatural rightWord))))))))

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.