# std/proof

Comparisons the compiler proves where a call states them. `prove` is compiler-known: the compiler reads it by this declaration. Asks the compiler to prove `c` where the call stands. `c` is one integer comparison or several joined by `&&`. A `c` the prover cannot show is a refusal that names the comparison and why, and after the call every later check may assume `c`. The call checks nothing at run time.

## prove

`fn`, at line 8.

```vyrn
fn prove(c: Bool)
```

Asks the compiler to prove `c` where the call stands. `c` is one integer comparison or several joined by `&&`. A `c` the prover cannot show is a refusal that names the comparison and why, and after the call every later check may assume `c`. The call checks nothing at run time.

---

From https://vyrn-lang.github.io/docs/std/proof.html — generated by `site/export.vyrn` from the Vyrn repository.