Class description Represents constraints the compiler knows about the input and output variables to an SSA tree node. It has the following slots:
class
Class of values the variable can take.
interval
Range of values the variable can take.
literal
Literal value, if present.
literal?
Whether the value of the variable is known at compile-time or not.
slots
If the value is a literal tuple or fixed length type, then slots is a sequence of value-info-state encoding what is known about its slots at compile-time.
Don't mutate value infos you receive, always construct new ones. We don't declare the slots read-only to allow cloning followed by writing, and to simplify constructors.