This domain implements ordered variables

)sh OrderedVariableList

 OrderedVariableList(VariableList: List(Symbol)) is a domain constructor
 Abbreviation for OrderedVariableList is OVAR 
 This constructor is not exposed in this frame.
------------------------------- Operations --------------------------------

 ?<? : (%, %) -> Boolean               ?<=? : (%, %) -> Boolean
 ?=? : (%, %) -> Boolean               ?>? : (%, %) -> Boolean
 ?>=? : (%, %) -> Boolean              coerce : % -> OutputForm
 convert : % -> Pattern(Integer)       convert : % -> Pattern(Float)
 convert : % -> Symbol                 convert : % -> InputForm
 enumerate : () -> List(%)             hash : % -> SingleInteger
 index : PositiveInteger -> %          latex : % -> String
 lookup : % -> PositiveInteger         max : (%, %) -> %
 min : (%, %) -> %                     random : () -> %
 size : () -> NonNegativeInteger       smaller? : (%, %) -> Boolean
 ?~=? : (%, %) -> Boolean             
 hashUpdate! : (HashState, %) -> HashState
 variable : Symbol -> Union(%,"failed")