[−][src]Module rate_common::sick
SICK incorrectness certificates
Structs
| Sick | A SICK certificate. |
| Witness | The refutation of an inference given a witness |
Functions
| check_incorrectness_certificate | Check a SICK certificate and prints an appropriate error message. Returns Ok(()) if accepted. |