{motive : Lean.Meta.Grind.AnchorRef → Sort u} →
  ((numDigits : ℕ) → (anchorPrefix : UInt64) → motive { numDigits := numDigits, anchorPrefix := anchorPrefix }) →
    (t : Lean.Meta.Grind.AnchorRef) → motive t