Step type exports definition

The 'step type exports' definition in the Glossary says:

"Define the step type exports of an XProc element, against the
background of a set of URIs of resources already visited (call this set
Visited), as follows:"

...but no text follows the colon.

Regards,
Vojtech