pub fn discharge(o: &Obligation, timeout_ms: u32) -> VerdictExpand description
Discharge o: every lemma, each given up to timeout_ms for each of its two checks. The first lemma that is not
proven gives the verdict.
pub fn discharge(o: &Obligation, timeout_ms: u32) -> VerdictDischarge o: every lemma, each given up to timeout_ms for each of its two checks. The first lemma that is not
proven gives the verdict.