pub type Value = Idx<ValueData>;
One value: the result of an instruction, or a parameter of a block.
pub struct Value { /* private fields */ }