Documentation

Lean.Compiler.IR.NormIds

@[inline]
abbrev Lean.IR.UniqueIds.M (α : Type) :
Type
Equations
@[inline]
abbrev Lean.IR.NormalizeIds.M (α : Type) :
Type
Equations
@[inline]
Equations
@[inline]
Equations
@[inline]
Equations
@[inline]
Equations