z3tracer-0.3.1
- z3tracer 0.3.1
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Documentation
- Repository
- crates.io
- Source
- Owners
- matbd
- Dependencies
- smt2parser ^0.1.0 normal
  structopt ^0.3.12 normal
- Versions
- 34.93% of the crate is documented
Go to latest version
Platform
Feature flags

Rust

☰

Type Definition RawResult

z3tracer::error

Type Definition z3tracer::error::RawResult[−][src]

type RawResult<T> = Result<T, RawError>;

Result type based on RawError.