implementation module StdSet

import StdEnv

::	Set a