mcrl2_sys::lps::ffi

Function get_data_specification

Source
pub fn get_data_specification(
    spec: &specification,
) -> UniquePtr<data_specification> 
Expand description

Obtains the related data specification