Data.SBV.Examples.BitPrecise.MergeSort
type E
merge
mergeSort
nonDecreasing
isPermutationOf
correctness
codeGen