mcrl2_sys::atermpp::ffi

Function unlock_exclusive

Source 
pub fn unlock_exclusive()