mcrl2_sys::lps::ffi

Function print_linear_process_specification

Source
pub fn print_linear_process_specification(spec: &specification) -> String
Expand description

Converts a linear process specification to a string.