@SuppressWarnings("unchecked")
	public static VDMSeq set2seq(Object set)
	{
		if (set instanceof VDMSet)
		{
			VDMSeq seq = SeqUtil.seq();
			seq.addAll((VDMSet) set);

			return seq;
		}

		throw new IllegalArgumentException("Method is only supported for "
				+ VDMSet.class);
	}
@ SuppressWarnings ( "unchecked" ) public static VDMSeq set2seq ( Object set ) { if ( set instanceof VDMSet ) { VDMSeq seq = SeqUtil . seq ( ) ; seq . addAll ( ( VDMSet ) set ) ; return seq ; } throw new IllegalArgumentException ( "Method is only supported for " + VDMSet . class ) ; }
/* @ helper @