{motive : Std.Format.SpaceResult✝ → Sort u} →
  (t : Std.Format.SpaceResult✝¹) →
    ((foundLine foundFlattenedHardLine : Bool) →
        (space : ℕ) →
          motive { foundLine := foundLine, foundFlattenedHardLine := foundFlattenedHardLine, space := space }) →
      motive t