machine-check-gui 0.7.1

Utility crate for the formal verification tool machine-check
Documentation 
1
2
3
4
5
6

pub mod constants;
pub mod web_idl;

mod pixel;

pub use pixel::{PixelPoint, PixelRect};