TorchLean API

Docs HomeGuideExamplesGraphs

Aesop.Frontend.Attribute

source
def Aesop.Frontend.Parser.Aesop.attr_rules.quot :
Lean.ParserDescr
Instances For
    source
    def Lean.Parser.Category.Aesop.attr_rules :
    Category
    Instances For
      source
      def Aesop.Frontend.Parser.attr_rules_ :
      Lean.ParserDescr
      Instances For
        source
        def Aesop.Frontend.Parser.«attr_rules[_]» :
        Lean.ParserDescr
        Instances For
          source
          def Aesop.Frontend.Parser.aesop :
          Lean.ParserDescr
          Instances For
            source
            structure Aesop.Frontend.AttrConfig :
            Type
            Instances For
              source
              @[implicit_reducible]
              instance Aesop.Frontend.instInhabitedAttrConfig :
              Inhabited AttrConfig
              source
              def Aesop.Frontend.instInhabitedAttrConfig.default :
              AttrConfig
              Instances For
                source
                def Aesop.Frontend.AttrConfig.elab (stx : Lean.Syntax) :
                Lean.Elab.TermElabM AttrConfig
                Instances For