(motive : Lean.Syntax → Sort u_1) →
  (stx' : Lean.Syntax) →
    ((info : Lean.SourceInfo) →
        (k : Lean.Name) →
          (_dollar head name head_1 : Lean.Syntax) →
            motive (Lean.Syntax.node info (k.str "antiquot") #[_dollar, head, name, head_1])) →
      ((x : Lean.Syntax) → motive x) → motive stx'