Vocabulary
compiler.tree.propagation.info

Class description
Represents constraints the compiler knows about the input and output variables to an SSA tree node. It has the following slots:
classClass of values the variable can take.
intervalRange of values the variable can take.
literalLiteral value, if present.
literal?Whether the value of the variable is known at compile-time or not.
slotsIf 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.

Definition

TUPLE: value-info-state class interval literal literal? slots ;