Documentation

Lean.Elab.Print

source
def Lean.Elab.Command.elabPrint :
CommandElab
Equations
    Instances For
      source
      def Lean.Elab.Command.elabPrintAxioms :
      CommandElab
      Equations
        Instances For
          source
          def Lean.Elab.Command.elabPrintEqns :
          CommandElab
          Equations
            Instances For