z3-sys-0.11.0
- z3-sys 0.11.0
- Permalink
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- fitzgen
- waywardmonkeys
- graydon
- sameer
- toolCHAINZ
- Dependencies
- bindgen ^0.72 build optional
  pkg-config ^0.3.32 build
  prettyplease ^0.2 build optional
  proc-macro2 ^1 build optional
  quote ^1 build optional
  regex ^1 build optional
  reqwest ^0.12.22 build optional
  serde_json ^1.0.140 build optional
  syn ^2 build optional
  vcpkg ^0.2.15 build optional
  z3-src ^416 build optional
  zip ^8.2 build optional
- Versions
- 97.76% of the crate is documented
Platform
Feature flags

docs.rs

Rust

Skip to main content

Z3_get_depth

z3_sys0.11.0

Function Z3_get_depth

pub unsafe extern "C" fn Z3_get_depth(
    c: Z3_context,
    a: Z3_ast,
) -> c_uint