(motive : EStateM.Result Unit Lean.PrettyPrinter.OneLine.State Unit → Sort u_1) →
  (x : EStateM.Result Unit Lean.PrettyPrinter.OneLine.State Unit) →
    ((a : Unit) → (s : Lean.PrettyPrinter.OneLine.State) → motive (EStateM.Result.ok a s)) →
      ((a : Unit) → (s : Lean.PrettyPrinter.OneLine.State) → motive (EStateM.Result.error a s)) → motive x