
       void lib_DriveHeader(TimingFigure *fig, FILE *file, char *libname);

DDEESSCCRRIIPPTTIIOONN
       Prints a _._l_i_b header in a file, regarding to the information present in
       the given timing figure

AARRGGUUMMEENNTTSS
       ffiigg           Pointer on the timing figure to consider

       ffiillee          Pointer on the file where to print the _._l_i_b header

       lliibbnnaammee       Name to be put in  the  _l_i_b_r_a_r_y  statement  of  the  _._l_i_b
                     header

