public interface VDMSequence extends VDMSequenceOperations, VDMGeneric, org.omg.CORBA.portable.IDLEntity
Elems, First, GetString, Hd, ImpAppend, ImpConc, ImpModify, ImpPrepend, ImpTl, Index, IsEmpty, Length, Next, RemElem, Tl
Clone, Destroy, GetCPPValue, IsBool, IsChar, IsMap, IsNil, IsNumeric, IsObjectRef, IsQuote, IsRecord, IsSequence, IsSet, IsText, IsToken, IsTuple, ToAscii