Documentation

Lean.Parser.Level

source
@[inline]
def Lean.Parser.levelParser (rbp : optParam Nat 0) :
Lean.Parser.Parser
Instances For
    source
    def Lean.Parser.Level.paren :
    Lean.Parser.Parser
    Instances For
      source
      def Lean.Parser.Level.max :
      Lean.Parser.Parser
      Instances For
        source
        def Lean.Parser.Level.imax :
        Lean.Parser.Parser
        Instances For
          source
          def Lean.Parser.Level.hole :
          Lean.Parser.Parser
          Instances For
            source
            def Lean.Parser.Level.num :
            Lean.Parser.Parser
            Instances For
              source
              def Lean.Parser.Level.ident :
              Lean.Parser.Parser
              Instances For
                source
                def Lean.Parser.Level.addLit :
                Lean.Parser.TrailingParser
                Instances For