{motive : Lean.Declaration → Sort u} →
  (t : Lean.Declaration) →
    ((val : Lean.DefinitionVal) → motive (Lean.Declaration.defnDecl val)) →
      ((val : Lean.TheoremVal) → motive (Lean.Declaration.thmDecl val)) →
        (Nat.hasNotBit 6 t.ctorIdx → motive t) → motive t