prusti-specs 0.3.1

Internal Prusti crate for parsing specifications
1
2
3
4
5

pub mod common;
pub mod preparser;
pub mod untyped;

pub use common::SpecType;