Docs.rs
spec-flatten-0.3.0
spec-flatten 0.3.0
Docs.rs crate page
Apache-2.0
Links
crates.io
Source
Owners
dondidlc
Dependencies
anyhow ^1.0.52
normal
clap ^3.1.8
normal
itertools ^0.10.1
normal
move-stackless-bytecode ^0.3.0
normal
mv-compiler ^0.3.0
normal
mv-model ^0.3.0
normal
mv-prover ^0.3.0
normal
pretty ^0.10.0
normal
Versions
66.67%
of the crate is documented
This release has been yanked, go to latest version
Platform
i686-pc-windows-msvc
i686-unknown-linux-gnu
x86_64-apple-darwin
x86_64-pc-windows-msvc
x86_64-unknown-linux-gnu
Feature flags
Rust
About docs.rs
Privacy policy
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
☰
Crate spec_flatten
Version 0.3.0
All Items
Structs
Enums
Functions
?
Crate
spec_flatten
source
·
[
−
]
Structs
FlattenOptions
Options passed into the specification flattening tool.
Enums
FlattenPass
List of simplification passes available
Functions
run