vampire-sys-0.5.2
- vampire-sys 0.5.2
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- Dragon-Hatcher
- Dependencies
- cmake ^0.1 build
- Versions
- 18.97% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

vampire_proof_result_t

vampire_sys0.5.2

Type Alias vampire_proof_result_t

pub type vampire_proof_result_t = c_uint;

Expand description

Result of a proving attempt