(motive : Array Lean.Import × Lean.Position × Lean.MessageLog → Sort u_1) →
  (__discr : Array Lean.Import × Lean.Position × Lean.MessageLog) →
    ((fst : Array Lean.Import) →
        (fileStartPos : Lean.Position) → (snd : Lean.MessageLog) → motive (fst, fileStartPos, snd)) →
      motive __discr