Searched refs:prop_Merging (Results 1 – 13 of 13) sorted by relevance
101 prop_Merging (xss :: [OrderedList Int]) = function