Declaration . . [...] has to be declared

Module Declaration . . [...] be declared

in the module declaration

declaration ( alg.Alarm )

Declaration . .

Declaration . .

Declaration . .

in the declaration (with attribute

by the module declaration [...] declarations of the used

of the module declaration . .