TorchLean API
Docs Home
Guide
Examples
Graphs
Lean
.
Compiler
.
IR
.
SimpCase
Search
Declaration colors
def
theorem
structure
axiom
return to top
source
Imports
Lean.Compiler.IR.Basic
Imported by
Lean
.
IR
.
ensureHasDefault
source
def
Lean
.
IR
.
ensureHasDefault
(
alts
:
Array
Alt
)
:
Array
Alt
Instances For