ArbitraryVariable
data class ArbitraryVariable(val default: Any, values: List<Any?>) : AbstractPrintableVariable<Any?> (source)
A variable that can take any value from an arbitrary, finite set.
This implementation stores values in an immutable ordered set. Values and the default are non-nullable: an ArbitraryVariable always contains at least a default value and a (possibly empty) set of candidate values.