Function value_label 

pub(crate) fn value_label(value: &AbstractValue<'_>) -> String

Compact human-readable label for an abstract value.