prop_deleteAll :: BagTest Int bag => bag Int -> Int -> bag Int -> Bool
prop_deleteAll bag x xs =
    let del_x_xs = deleteAll x xs
     in si del_x_xs
        &&
        toOrdList del_x_xs == Prelude.filter (/= x) (toOrdList xs)
prop_deleteAll :: BagTest Int bag => bag Int -> Int -> bag Int -> Bool
prop_deleteAll bag x xs =
    let del_x_xs = deleteAll x xs
     in si del_x_xs
        &&
        toOrdList del_x_xs == Prelude.filter (/= x) (toOrdList xs)
prop_deleteAll bag x xs =
    let del_x_xs = deleteAll x xs
     in si del_x_xs
        &&
        toOrdList del_x_xs == Prelude.filter (/= x) (toOrdList xs)