fn minimize(
all_defs: &Map<String, Value>,
universe: BTreeSet<String>,
) -> Vec<String>Expand description
Binary-searches universe (a set of definition names that, kept real
with everything else in all_defs at its natural realness, is already
known to reproduce the target panic) down to a minimal culprit set.