/* List reverse */                                    /* List reverse, canonical version             */

ListSort : rc ->                                      /* Reverse : rc ->                             */
Arg Src : A|L : <T>,                                  /* Arg Src : A|L : <T>, Dest : &List : T       */
    Dest : &A|L : T,                                  /*                                             */
    . : REVERSE_SORT                                  /* If Src then                                 */
                                                      /*  Dest .= Head                               */
If Src then                                           /*  After Reverse Tail 'Dest'                  */
 Dest .= Head                                         /*  With Head, Tail from Detach Src Head Tail  */
 After ListSort Tail 'Dest' REVERSE_SORT              /* ;                                           */
 With Head, Tail from Detach Src Head Tail            /*                                             */
;                                                     /* Return                                      */

Return                                                /* Export Reverse                              */

Export ListSort