Documentation

Lean.Compiler.LCNF.AuxDeclCache

@[inline, reducible]
Instances For