(motive : Lean.Json.Structured → Sort u_1) →
  (x : Lean.Json.Structured) →
    ((a : Array Lean.Json) → motive (Lean.Json.Structured.arr a)) →
      ((o : Std.TreeMap.Raw String Lean.Json compare) → motive (Lean.Json.Structured.obj o)) → motive x