(motive : Lean.Meta.Grind.Order.CnstrKind → Sort u_1) →
  (x : Lean.Meta.Grind.Order.CnstrKind) →
    (Unit → motive Lean.Meta.Grind.Order.CnstrKind.le) → (Unit → motive Lean.Meta.Grind.Order.CnstrKind.lt) → motive x