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_wc_list.rs:8

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")
22172(prove_wc_list(_decls, env, _assumptions, ()) => Constraints::none(env))
some
LineCoverageSource
2644(prove_wc(decls, env, assumptions, wc0) => c)
272(prove_after(decls, c, assumptions, wcs1) => c)
──────── ("some")
29171(prove_wc_list(decls, env, assumptions, Cons(wc0, wcs1)) => c)