mcrl2_sys::data::ffi

Function parse_variable

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

Parses the given text v: Sort as a variable and typechecks it using the given data specification