mcrl2_sys::data::ffi

Function parse_data_specification

Source
pub fn parse_data_specification(
    text: &str,
) -> Result<UniquePtr<data_specification>, Exception>
Expand description

Parses the given text into a data specification.