pos value unique membership class

<BODY LANG="EN" bgcolor="#ffffff" text="#000000"> <P> <A NAME="efuniqs"> </A><H2><A NAME="SECTION000142000000000000000"><B>pos</B> value <EM>unique membership class</EM></A></H2> <P> <BR> <HR> <UL><A NAME="CHILD_LINKS"> </A> <LI> <A NAME="tex2html4074" HREF="node270.html#SECTION000142100000000000000" target="_top">Core semantics of value <EM>unique membership class</EM></A> </UL> <HR> <P><ADDRESS> </ADDRESS> </BODY>