Judgment is_one at crates/formality-core/tests/coverage.rs:52
Signature:
is_one(n: Num) => ()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.
is_one| Line | Coverage | Source |
|---|---|---|
| ──────── ("is_one") | ||
| 60 | ✗ | (is_one(Num(1)) => ()) |