Documentation

Lean.Util.Recognizers

@[inline]
Equations
    Instances For
      @[inline]
      def Lean.Expr.app1? (e : Expr) (fName : Name) :
      Equations
        Instances For
          @[inline]
          def Lean.Expr.app2? (e : Expr) (fName : Name) :
          Equations
            Instances For
              @[inline]
              def Lean.Expr.app3? (e : Expr) (fName : Name) :
              Equations
                Instances For
                  @[inline]
                  Equations
                    Instances For
                      @[inline]
                      Equations
                        Instances For
                          @[inline]
                          Equations
                            Instances For
                              @[inline]
                              Equations
                                Instances For
                                  @[inline]
                                  Equations
                                    Instances For
                                      @[inline]
                                      Equations
                                        Instances For
                                          @[inline]
                                          Equations
                                            Instances For
                                              @[inline]
                                              Equations
                                                Instances For
                                                  @[inline]
                                                  Equations
                                                    Instances For
                                                      Equations
                                                        Instances For
                                                          @[inline]
                                                          Equations
                                                            Instances For
                                                              Equations
                                                                Instances For
                                                                  Equations
                                                                    Instances For
                                                                      Equations
                                                                        Instances For
                                                                          Equations
                                                                            Instances For
                                                                              Equations
                                                                                Instances For
                                                                                  Equations
                                                                                    Instances For

                                                                                      Recognize α × β

                                                                                      Equations
                                                                                        Instances For

                                                                                          Checks if an expression is a Name literal, and if so returns the name.

                                                                                          Equations
                                                                                            Instances For