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

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