#include "List.h"
/* NB. Assumes a list of int */

void WriteList(List L)
 { printf("[");               /* [ */
   if( L!=NULL )
      while(1)
       { printf("%d", L->hd); /* element */
         L = L->tl;
         if( L==NULL ) break;
         printf(",");         /* comma */
       }
   printf("]");               /* ] */
 }

/* Write a List, e.g. [] or [1] or [1,2,3] */