SDL-News: Unions

Subject: SDL-News: Unions
Date: Thu Apr 15 1999 - 15:38:42 GMT

The originator of this message is responsible for its content.
-----From to sdlnews -----

I realise unions are not supported by SDL but can't they be specified as an
Abstract Data Type and if so does anyone know where this has been done that
I can cut and paste from as I'm not sure I'd like to go through the
rigmarole of defining operations and axioms etc....


-----End text from to sdlnews -----
For help, email "" with the body of your email as:
or (iff this does not answer your question) email:

This archive was generated by hypermail 2a23 : Sun Jun 16 2013 - 10:41:40 GMT