TorchLean API

Docs HomeGuideExamplesGraphs

Lean.Elab.BuiltinDo.Misc

source
def Lean.Elab.Do.elabDoExpr :
DoElab
Instances For
    source
    def Lean.Elab.Do.elabDoNested :
    DoElab
    Instances For
      source
      def Lean.Elab.Do.elabDoUnless :
      DoElab
      Instances For
        source
        def Lean.Elab.Do.elabDoDbgTrace :
        DoElab
        Instances For
          source
          def Lean.Elab.Do.elabDoAssert :
          DoElab
          Instances For
            source
            def Lean.Elab.Do.elabDoDebugAssert :
            DoElab
            Instances For