BottomUpMergeSort

Definitions

data MergeSort : Type -> Type

Totality: total
Visibility: export
Constructor: 

MS : Int -> Lazy (List (List a)) -> MergeSort a

Hint: 

Sortable MergeSort