Lean.Meta.MatcherInfo →
  Lean.SubExpr →
    Option (Lean.Term × Lean.Expr) →
      Bool →
        Array Lean.Term →
          Array (Option Lean.Name) →
            Array Lean.SubExpr →
              Array (Array Lean.Name) → Array Lean.Term → Lean.PrettyPrinter.Delaborator.AppMatchState