Documentation
Lean
.
Compiler
.
LCNF
.
Simp
.
DefaultAlt
Search
return to top
source
Imports
Lean.Compiler.LCNF.Simp.SimpM
Lean.Compiler.LCNF.Simp.Used
Imported by
Lean
.
Compiler
.
LCNF
.
Simp
.
addDefaultAlt
source
def
Lean
.
Compiler
.
LCNF
.
Simp
.
addDefaultAlt
(
alts
:
Array
(
Alt
Purity.pure
)
)
:
SimpM
(
Array
(
Alt
Purity.pure
)
)
Instances For