Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Judgment prove_wc_list at crates/formality-rust/src/prove/prove/prove/prove_wc_list.rs:11

Signature:

prove_wc_list(_decls: Program, env: Env, assumptions: Wcs, goals: 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.

none
LineCoverageSource
──────── ("none")
25138(prove_wc_list(_decls, env, _assumptions, ()) => Constraints::none(env))
some
LineCoverageSource
2936(prove_wc(decls, env, assumptions, wc0) => c)
302(prove_after(decls, c, assumptions, wcs1) => c)
──────── ("some")
32137(prove_wc_list(decls, env, assumptions, Cons(wc0, wcs1)) => c)