/*
	Show Wrapped Node

	Version 1.0.4
	Ronny Wichers Schreur
	ronny@cs.kun.nl
*/
definition module ShowWrapped

from Wrap import :: WrappedNode

showWrapped :: WrappedNode -> [{#Char}]