mcrl2
0.1.0
Module data_
specification
Module Items
Structs
In mcrl2::
data
mcrl2
::
data
Module
data_specification
Copy item path
Source
Structs
ยง
Data
Equation
Data
Specification
A safe abstraction for the mCRL2 data specification.