Documentation

Lean.Compiler.IR.Sorry

structure Lean.IR.Sorry.State :
Type
@[inline]
abbrev Lean.IR.Sorry.M (α : Type) :
Type
Equations
Equations
Equations
Equations
Equations