itf-0.4.0
- itf 0.4.0
- Docs.rs crate page
- Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- romac
- rnbguy
- Dependencies
- dashu-int ^0.4.1 normal
  serde ^1 normal
  serde_json ^1 normal
  serde_with ^3.4.0 normal
- Versions
- 38.89% of the crate is documented
Platform
Feature flags

docs.rs

Rust

Module trace

itf0.4.0

Module trace

Module Items

Structs

In crate itf

Module trace

Expand description

Defines an ITF trace.

Structs§

Meta: Metadata for an ITF Trace.
Trace: An ITF trace over states of type S.