/* 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                 /*                                        */
;                                                     /* /                                      */

/