
       void inf_DefineDLatch(char *name);

DDEESSCCRRIIPPTTIIOONN
       Sets  a  signal  as a dynamic latch. Works only if the surrounding cir-
       cuitry permits a HZ state on the signal. Commands are then
           identified automatically.

AARRGGUUMMEENNTTSS
       nnaammee          Signal's name

