TorchLean API
Docs Home
Guide
Examples
Graphs
Lean
.
Compiler
.
LCNF
.
SplitSCC
Search
Declaration colors
def
theorem
structure
axiom
return to top
source
Imports
Lean.Util.SCC
Lean.Compiler.LCNF.CompilerM
Imported by
Lean
.
Compiler
.
LCNF
.
splitScc
source
def
Lean
.
Compiler
.
LCNF
.
splitScc
{
pu
:
Purity
}
(
scc
:
Array
(
Decl
pu
)
)
:
CompilerM
(
Array
(
Array
(
Decl
pu
)
)
)
Instances For