pub fn is_exact_value<V: TowerValue>(v: &V) -> bool
True for a value of one of the types this module governs.