code: @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);
  	}
docs: /* @ helper @