TorchLean API

Docs HomeGuideExamplesGraphs

Lean.Elab.Do.Switch

source
opaque Lean.Elab.Term.backward.do.legacy :
Lean.Option Bool
source
def Lean.Elab.Term.expandTermFor :
Macro
Instances For
    source
    def Lean.Elab.Term.expandTermTry :
    Macro
    Instances For
      source
      def Lean.Elab.Term.expandTermUnless :
      Macro
      Instances For
        source
        def Lean.Elab.Term.expandTermReturn :
        Macro
        Instances For
          source
          def Lean.Elab.Term.elabDo :
          TermElab
          Instances For
            source
            def Lean.Elab.Term.elabTermLiftMethod :
            TermElab
            Instances For