∀ (filename : String) (osCode : UInt32) (details filename_1 : String) (osCode_1 : UInt32) (details_1 : String),
  (IO.Error.noFileOrDirectory filename osCode details = IO.Error.noFileOrDirectory filename_1 osCode_1 details_1) =
    (filename = filename_1 ∧ osCode = osCode_1 ∧ details = details_1)