merge sort_with_

Definitions:

tuple, [⊥, ⊥]→boolean
Source: /avail/Avail/Foundation/Tuples
Categories: Tuples, Sorting
Construct and answer a sorted variant of aTuple using the merge sort algorithm and specified comparison function.
Position Name Type Description
Parameters
1 aTuple tuple The tuple to sort.
2 comparator [⊥, ⊥]→boolean A comparison function that accepts two elements of aTuple and answers true or false depending on the outcome of the block.
Returns tuple The sorted tuple.

Semantic restrictions:

tuple meta, [⊥, ⊥]→boolean's type
Source: /avail/Avail/Foundation/Tuples
Type Description
Parameter Types
tuple meta
[⊥, ⊥]→boolean's type