∀ {filename : String} {osCode : UInt32} {details filename_1 : String} {osCode_1 : UInt32} {details_1 : String},
  IO.Error.interrupted filename osCode details = IO.Error.interrupted filename_1 osCode_1 details_1 →
    filename = filename_1 ∧ osCode = osCode_1 ∧ details = details_1