···

       
176
       
 
       
  # elements and returns true if the first argument is strictly below

     

       
177
       
 
       
  # the second argument.  The returned list is sorted in an increasing

     

       
178
       
 
       
  # order.  The implementation does a quick-sort.

     

       
179
       
-
       
  sort = strictLess: list:

     

       
0
       
 
       

     

       
180
       
 
       
    let

     

       
181
       
 
       
      len = length list;

     

       
182
       
 
       
      first = head list;

     
···

       
190
       
 
       
      pivot = pivot' 1 { left = []; right = []; };

     

       
191
       
 
       
    in

     

       
192
       
 
       
      if len < 2 then list

     

       
193
       
-
       
      else (sort strictLess pivot.left) ++  [ first ] ++  (sort strictLess pivot.right);

     

       
194
       
 
       


     

       
195
       
 
       


     

       
196
       
 
       
  # Return the first (at most) N elements of a list.

     

···

       
176
       
 
       
  # elements and returns true if the first argument is strictly below

     

       
177
       
 
       
  # the second argument.  The returned list is sorted in an increasing

     

       
178
       
 
       
  # order.  The implementation does a quick-sort.

     

       
179
       
+
       
  sort = builtins.sort or (

     

       
180
       
+
       
    strictLess: list:

     

       
181
       
 
       
    let

     

       
182
       
 
       
      len = length list;

     

       
183
       
 
       
      first = head list;

     
···

       
191
       
 
       
      pivot = pivot' 1 { left = []; right = []; };

     

       
192
       
 
       
    in

     

       
193
       
 
       
      if len < 2 then list

     

       
194
       
+
       
      else (sort strictLess pivot.left) ++  [ first ] ++  (sort strictLess pivot.right));

     

       
195
       
 
       


     

       
196
       
 
       


     

       
197
       
 
       
  # Return the first (at most) N elements of a list.