Documentation

Lean.Elab.Import

Equations
Equations
Equations
def Lean.Elab.printImports (input : String) (fileName : Option String) :
Equations