<<>> <> <> <> <> <> <> DIRECTORY MobDefs USING [Mob, MobBase], IO USING [STREAM]; MobLister: DEFINITIONS = { ListMob: PROC[stream: IO.STREAM, mob: MobDefs.MobBase, cmd: ATOM]; }.