verify_macro
| Crates.io | verify_macro |
| lib.rs | verify_macro |
| version | 0.2.3 |
| created_at | 2020-06-06 03:27:21.932298+00 |
| updated_at | 2020-06-17 05:52:40.365057+00 |
| description | An attribute that automatically instruments code with logical type bounds. |
| homepage | |
| repository | https://github.com/bobbygebert/verified/ |
| max_upload_size | |
| id | 250539 |
| size | 53,602 |
(bobbygebert)
documentation
README
Verifiable Rust
Source code for the verified crate