z3-sys-0.8.1
- z3-sys 0.8.1
- Permalink
- Docs.rs crate page
- MIT
- Links
- Homepage
- Documentation
- Repository
- Crates.io
- Source
- Owners
- fitzgen
- waywardmonkeys
- graydon
- sameer
- Dependencies
- bindgen ^0.66.0 build
  cmake ^0.1.49 build
- Versions
- 95.87% of the crate is documented
Platform
Feature flags

Rust

In z3_sys

Function z3_sys::Z3_rcf_neg

pub unsafe extern "C" fn Z3_rcf_neg(
    c: Z3_context,
    a: Z3_rcf_num
) -> Z3_rcf_num

Expand description

Return the value -a.