pub fn refines(
claimed: &Expectation,
predicted: &Expectation,
bound: Option<&[UnitId]>,
) -> Result<(), String>Expand description
§12 step 3: claimed must agree with predicted on every unit the
prediction names, must not broaden may_change, and must not relax
others_unchanged. For generation operations (others_unchanged = false
in the prediction) bound limits may_change instead.