mcrl2
0.1.0
Module lps
Module Items
Structs
In crate mcrl2
mcrl2
Module
lps
Copy item path
Source
Expand description
Safe abstraction for the LPS library,
Structs
ยง
Linear
Process
Specification
Rust representation of a lps::linear_process_specification.