2 void lib_DriveHeader(TimingFigure *fig, FILE *file, char *libname);
4 D
\bDE
\bES
\bSC
\bCR
\bRI
\bIP
\bPT
\bTI
\bIO
\bON
\bN
5 Prints a _
\b._
\bl_
\bi_
\bb header in a file, regarding to the information present in
6 the given timing figure
8 A
\bAR
\bRG
\bGU
\bUM
\bME
\bEN
\bNT
\bTS
\bS
9 f
\bfi
\big
\bg Pointer on the timing figure to consider
11 f
\bfi
\bil
\ble
\be Pointer on the file where to print the _
\b._
\bl_
\bi_
\bb header
13 l
\bli
\bib
\bbn
\bna
\bam
\bme
\be Name to be put in the _
\bl_
\bi_
\bb_
\br_
\ba_
\br_
\by statement of the _
\b._
\bl_
\bi_
\bb