mcrl2_sys::atermpp::ffi

Function unlock_shared

Source 
pub fn unlock_shared() -> bool
Expand description

Returns true iff the shared section was actually left.