Template use to typeset a parameter event clause in an event-b listing.
MACHINE
Safety
Template:L evente
ANY
END