void 
Ltl_Init(
    
)
Initializes the ltl package.

Side Effects None


Last updated on 990908 16h51