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 220–223

livenessNaturalEqual

Full file
220def livenessNaturalEqual =
221  (lambda unrestricted left : Nat .
222    (lambda unrestricted right : Nat .
223      (naturalFlagNot (naturalFlagOr (nat-less-than left right) (nat-less-than right left)))))

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.