Docs.rs
modality-lang-0.1.6
modality-lang 0.1.6
Docs.rs crate page
MIT
09 November 2025
Links
Homepage
Repository
crates.io
Source
Owners
foysavas
Dependencies
getrandom ^0.2
normal
js-sys ^0.3
normal
lalrpop-util ^0.20
normal
serde ^1.0
normal
serde_json ^1.0
normal
wasm-bindgen ^0.2
normal
web-sys ^0.3
normal
tokio ^1.42.0
dev
wasm-bindgen-test ^0.3
dev
lalrpop ^0.20
build
modality-utils ^0.1.5
normal
tokio ^1.42.0
normal
Versions
43.24%
of the crate is documented
Platform
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
Module model_checker
modality_
lang
0.1.6
Module model_
checker
Module Items
Structs
In crate modality_
lang
modality_lang
Module
model_
checker
Copy item path
Source
Structs
ยง
Model
Check
Result
Represents the result of model checking
Model
Checker
Model checker for temporal modal formulas
State
Represents a state in the model (graph name and node name)