pub fn undecided_branch<V: TowerValue>(v: &V) -> Option<String>Expand description
Why a value cannot decide a branch — a residue-dependent answer, or a provisional one no proof
settled — or None for any other value. Every tier refuses such a branch with this sentence.