A procedure that has no visible side effects.
procedure kind function[covariant entity return type, ... contravariant entity argument types]
Declaration: function
Announcements: function
Direct supertypes: data
Use: predicate pattern / predicate pattern / repeat element / repeat element / test sequence matcher / test option matcher / test repeat matcher / markup grammar / markup grammar / markup grammar / output transformer / output transformer