mcrl2_sys::data::ffi

Function data_specification_clone

Source 
pub fn data_specification_clone(
    data_spec: &data_specification,
) -> UniquePtr<data_specification> ⓘ
Expand description

Clone the data specification