mcrl2_sys::atermpp::ffi

Function lock_exclusive

Source 
pub fn lock_exclusive()
Expand description

Provides exclusive access to the aterm library.