def Lean.IR.inferMeta (decls : Array Decl) : CompilerM Unit

Equations

• One or more equations did not get rendered due to their size.