(motive : Lean.Syntax → Sort u_1) →
  (x : Lean.Syntax) →
    ((info : Lean.SourceInfo) →
        (_header : Lean.Syntax) →
          (info_1 : Lean.SourceInfo) →
            (args : Array Lean.Syntax) →
              motive
                (Lean.Syntax.node info `Lean.Parser.Module.module #[_header, Lean.Syntax.node info_1 `null args])) →
      ((x : Lean.Syntax) → motive x) → motive x