prove_after.rs:8

Signature:

prove_after(_decls: Program, constraints: Constraints, assumptions: Wcs, goal: Wcs,) => Constraints

The number on each rule’s conclusion is positive coverage; the number on each premise is negative coverage. Click a number to browse the tests.

prove_after

Line	Coverage	Source
18	N/A	(let (assumptions, goal) = c1.substitution().apply((assumptions, goal)))
19	17	(prove(decls, c1.env(), assumptions, goal) => c2)
		──────── ("prove_after")
21	137	(prove_after(decls, c1, assumptions, goal) => c1.seq(c2))

Keyboard shortcuts

A MIR Formality

Judgment prove_after at crates/formality-rust/src/prove/prove/prove/prove_after.rs:8

Judgment `prove_after` at crates/formality-rust/src/prove/prove/prove/prove_after.rs:8